Christopher Schwaab's repositories
000
Language:Rust000
Language:Groff000
000
bazel-tools
Reusable bits for Bazel
Language:StarlarkApache-2.0000
Language:TeX000
crossbuild
:earth_africa: multiarch cross compiling environments
Language:DockerfileMIT000
Language:Coq000
Language:C++GPL-3.0000
Language:C++000
Language:Coq000
Language:Haskell000
Language:JavaScript000
Idris-dev
A Dependently Typed Functional Programming Language
Language:HaskellNOASSERTION000
Language:C++000
Apache-2.0000
jdecomp
Emacs interface to Java decompilers
000
Language:Haskell000
Language:Nix000
osrm-backend
Open Source Routing Machine - C++ backend
Language:C++BSD-2-Clause000
pontoon
Mozilla's Localization Platform
BSD-3-Clause000
radare2
unix-like reverse engineering framework and commandline tools security
Language:CLGPL-3.0000
rust-renderer
Playground to learn about real-time rendering and computational geometry in Rust
GPL-3.0000
Language:Groff000
Language:Shell000
Language:Emacs Lisp000