chriswailes's Stars
UBAutograding/Autolab
Course management service that enables auto-graded programming assignments.
Z3Prover/z3
The Z3 Theorem Prover
ziprandom/cltk
A crystal port of the Ruby Language Toolkit
syncthing/syncthing
Open Source Continuous File Synchronization
mbcrawfo/GenericMakefile
A generic makefile for use with small/medium C and C++ projects.
chriswailes/kalkin
Elegant complexity
ruby-llvm/ruby-llvm
Ruby bindings for LLVM
hunterclarke/remindmeto
A simple, intuitive reminder tool for the command line.
chriswailes/filigree
For more beautiful Ruby
chriswailes/topoload
Tools for my topologically-aware load-balancing project.
chriswailes/nmatrix
Prototype numeric matrix library for Ruby via SciRuby
SciRuby/nmatrix
Dense and sparse linear algebra library for Ruby via SciRuby
chriswailes/CARS
Chris's Advanced RPC Library
chriswailes/llvm-ecb
Exctended C Bindings for the Low Level Virtual Machine
chriswailes/casl
Chris's Awesome Standard Library
chriswailes/plpsolve
A parallel linear program solver.
chriswailes/RLTK
The Ruby Language Toolkit
chriswailes/DroidScanner
An network measurements croudsourcing application.
chriswailes/ruby-llvm
LLVM bindings for Ruby
neelance/jetpeg
A PEG parser generator for Ruby that uses LLVM to be lightning-fast.
jvoorhis/ruby-llvm
LLVM bindings for Ruby
scotts/streamflow
Lock-free multithreaded memory allocation