amosr/limp-cbc
Coin-OR/CBC bindings for Haskell
Developer Profile
amosr
Discovered public repositories for amosr in the GitHub catalog.
amosr/ddc
The Disciplined Disciple Compiler
amosr/limp
ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
amosr/clustering-proof
Coq proofs of validity of ILP clustering algorithm
amosr/clustering
implementation of clustering/scheduling for combinators, using ILP
amosr/game-pilot
Public repository.
amosr/papers
Public repository.
amosr/talks
talks
amosr/streamtiling
'Controlled' stream fusion
amosr/phd
papers for lit review
amosr/pdgen
Public repository.
amosr/coq
Public repository.