jkoppel/Specs
A repository of CocoaPods (cocoapods.org) specifications.
Developer Profile
jkoppel
Discovered public repositories for jkoppel in the GitHub catalog.
jkoppel/ImperativeHaskell
Proof that Haskell can look and act like an imperative language.
jkoppel/deepseq-generics
GHC.Generics-based Control.DeepSeq.rnf implementation
jkoppel/MonadRandom
A monad transformer and corresponding type class for computations which consume random values.
jkoppel/comptrans
Translation of ASTs into multi-sorted compositional data types
jkoppel/type-equality
Haskell definition of type equality, coercion/cast and other operations.
jkoppel/HaRe
The Haskell Refactoring Tool
jkoppel/smtLib
Haskell datatypes for generating SMTLIB files.
jkoppel/Strafunski-Sdf2Haskell
Cabalized version of the Sdf2Haskell library from Strafunski
jkoppel/Strafunski-ATermLib
Cabalized version of the ATermLib library from Strafunski
jkoppel/Strafunski-StrategyLib
Cabalized version of the StrategyLib library from Strafunski
jkoppel/quixey_challenger
Solve Quixey challenge automatically
jkoppel/kure-your-boilerplate
An extension to KURE which uses Template Haskell to make writing the KURE constructor function automatic
jkoppel/Revitalize
Tools for modifying programs without their source.
jkoppel/REProgram
Patch binaries at load-time
jkoppel/assassinate_the_assassin
A 3D browser-based tactical first-person sworder
jkoppel/sat
A DPLL SAT solver with conflict-directed backjumping
jkoppel/number_csp
CSP solver for number puzzles, with GUI frontends for Kakuro and KenKen
jkoppel/risp
A Lisp that interacts with Ruby
jkoppel/rubyquiz
Solutions to over 40 RubyQuiz problems
jkoppel/cardtable
Free-motion environment for playing cards online
jkoppel/OIL
Interpreter and library for a One-Instruction-Language register machine