vogler Goto Github PK

pdftools

ppx

playground for ppx extensions

ppx_config

new config/cmdline for goblint as json via ppx

ppx_deriving

Type-driven code generation for OCaml >=4.02

ppx_deriving_yojson

A Yojson codec generator for OCaml >= 4.02.

ppx_distr_guards

OCaml ppx extension to distribute guards over or-patterns (Warning 57)

ppx_import

Less redundancy in type declarations and signatures

ppx_meta

OCaml ppx extension for introspection

prezto

The configuration framework for Zsh

proglang

exercises for lecture "programming languages"

progopt

Program Optimization

puppeteer

Headless Chrome Node.js API

python-pms7003

Python script to test a Plantower PMS7003 serial laser particulate sensor

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

queryopt

Query Optimization

repo-issues

Lists all issues linked in the current repository.

repoman

Get an overview of repos and local-only changes.

repos

Overview/tree of my repositories

samsungctl

Remote control Samsung televisions via a TCP/IP connection

sensors

Log sensor data using RPi

smart-home

Smart home config (RPi, ESP, many sensors, node-red, influxdb, zigbee2mqtt)

smartlock

3D printed smart lock using ESP32 via 2 AA cells, N20 geared motor driven by TB6612FNG via 9V block

sublime

Plugins for Sublime Text 2

sublime-ocp-index

Sublime Text plugin which provides OCaml autocompletion with ocp-index

sublime-text-merlin

Merlin package for Sublime Text 3

syncmine

tablog

tabman

Chrome extension for tab/session sync

tabtime

tampermonkey

user scripts