Jannis Harder's repositories
Language:Python000
Language:Dockerfile000
syn
Parser for Rust source code
Language:RustApache-2.0000
sat-intro-2019-06-20
Demo application presented during my "Introduction to SAT Solving" talk at the OR Meetup Leipzig in June 2019.
kcov
Code coverage tool for compiled programs, Python and Bash which uses debugging information to collect and report data without special compilation options
Language:C++GPL-2.0000
vscode-coverage-highlighter
Reliable code coverage highlighting for VSCode
Language:TypeScript000
permafrost
A permutation group library
Language:RustApache-2.0000
cryptominisat
An advanced SAT Solver
Language:C++NOASSERTION000
vue-virtual-scroller
⚡️ Smooth scroll with any amount of data
Language:Vue000
rastertortl
A CUPS raster filter for the now-ancient RTL printers, such as the HP DesignJet 600
Language:Python000
hydrogen
:eight_spoked_asterisk: Run code inline in Atom using Jupyter kernels
Language:CoffeeScriptMIT000
bracket-matcher
Jump to brackets
Language:CoffeeScriptMIT000
Language:PythonBSD-2-Clause000
openlase
OpenLase
Language:C000
migen
A Python toolbox for building complex digital hardware
Language:PythonNOASSERTION000
flint2
FLINT (Fast Library for Number Theory)
Language:C000