- cpl 35 An interpreter of Hagino's Categorical Programming Language (CPL).
- toysolver 35 My sandbox for experimenting solver algorithms.
- haskell-minisat 5 Low-level Haskell binding of Minisat
- ptq 4 An implementation of Montague's PTQ (Proper Treatment of Quantification).
- nonlinear-optimization-ad 3 Wrapper of nonlinear-optimization package for using with AD package
Repositories contributed to
- MfesGA/Smtlib 2 Parser for smt-lib Command responses
- dillonhuff/Proper 0 Propositional logic theorem prover in Haskell
- DanielSchuessler/logic-TPTP 1 Import, export etc. for TPTP, a syntax for first-order logic
- hiki/hiki 80 Hiki is a powerful and fast wiki clone written in Ruby.
- meteficha/nonlinear-optimization 2 Various iterative algorithms for optimization of nonlinear functions.
Contributions in the last year 887 total Apr 30, 2015 – Apr 30, 2016
Longest streak 20 days November 1 – November 20
Current streak 0 days Last contributed
Apr 26, 2016
- Pushed 8 commits to msakai/toysolver Apr 24 – Apr 26