Diogo Behrens's repositories
Language:Racket000
dynamic-ffi
Auto define Racket bindings to C by parsing header files.
Language:RacketNOASSERTION000
genmc
Generic model checker for concurrent C programs
Language:CGPL-3.0000
glow
Render markdown on the CLI, with pizzazz! 💅🏻
Language:GoMIT000
llvm
Library for interacting with LLVM IR in pure Go.
Language:Go0BSD000
memcached
memcached development tree
Language:CBSD-3-Clause000
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
markdown
Markdown parser written in Racket.
000
Language:Java000
TSOEnabler
Kernel extension that enables TSO for Apple silicon processes
Language:C000