wladitavar/choco3
An open-source Java library for Constraint Programming
A checker (site and tool) for CVE-2014-0160
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An open-source Java library for Constraint Programming
all the code i've ever written since grade 11; also includes some forward-ported code from grades 8 and 9.
Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...).
An extensible text editor for the 21st Century following Github Atom's example