nickgian/MathSAT-ML
OCaml bindings to MathSAT solver
Developer Profile
nickgian
Discovered public repositories for nickgian in the GitHub catalog.
nickgian/CUTE-homework
Concolic testing for C programs
nickgian/ocaml
OCaml Labs' branches of OCaml
nickgian/jebus
The Jebus Lambda Calculus Interpreter
nickgian/ECC-OCaml
Elliptic Curves Cryptography for OCaml
nickgian/Rosalind
Rosalind.info problem solutions
nickgian/hw4_rottenpotatoes
Public repository.
nickgian/hw2_rottenpotatoes
HW2 CS169.1x
nickgian/hw3_rottenpotatoes
HW 3 skeleton for doing BDD with RottenPotatoes
nickgian/alpaca
Llama Compiler
nickgian/Euler-Lib
Complementary Library for Project Euler in OCaml
nickgian/ProjectEuler
Project Euler Problems in Some OCaml & Just Haskell