Maciej Dębski's repositories
zpf-outsidein
OutsideIn GADT type inference
gtk-emoji-chooser
Standalone gtk picker using gtk emoji chooser
modelowanie-i-drukowanie-3d
Modelowanie i drukowanie 3d - grupa przedmiotu JNP3 na wydziale MIM UW
oscilloscope
Simple oscilloscope/logic-analyzer on fpga
alokmenghrajani.github.com
Alok Menghrajani's Blog
atl
Project for Algorithmic Number Theory course
book
V2 of Real World OCaml
boulder
An ACME-based CA, written in Go.
certbot
Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
exanic-software
ExaNIC drivers, utilities and development libraries
golang-alpn-example
An example showing ALPN to allow multiplexing a single TLS listener/http.Server between different protocols
iro.js
🎨 Modular color picker widget for JavaScript, with support for a bunch of color formats
libxsmm
Library for small matrix-matrix multiplications targeting Intel Architecture (x86).
mimuw-lp3d
Documentation and configs for mim 3d printer
multissh
Text-based multi-host ssh client
MW-OAuth2Client
MediaWiki OAuth2 Client Extension
ocaml
The core OCaml system: compilers, runtime system, base libraries
openocd
Spen's Official OpenOCD Mirror
pebble
A miniature version of Boulder, Pebble is a small ACME test server not suited for a production CA
psgraph
Simple script to draw a graph of processes, visualising childhood relation and open descriptors, including pipes
pwndbg
Exploit Development and Reverse Engineering with GDB Made Easy
scribble.rs
Basically a clone of skribbl.io - Somewhat usable now
Slic3r
G-code generator for 3D printers (RepRap, Makerbot, Ultimaker etc.)
Smoothieware
Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
usos2google
Copy your schedule from usos to google calendar
whip6-pub
WHIP6 Public
WifiUDPDeepSleep
esp8266 temperature sensor software