Pinned Repositories
compstrat
Strategy combinators for compositional data types
ecta
mandate
Automatically deriving control-flow graph generators from operational semantics
project-ironfist
QuixBugs
A multi-lingual program repair benchmark set based on the Quixey Challenge
re-course
Materials for Reverse Engineering course taught at MIT IAP
REProgram
Patch binaries at load-time
Revitalize
Tools for modifying programs without their source.
Strafunski-StrategyLib
Cabalized version of the StrategyLib library from Strafunski
thermometer-continuations
Examples from our paper "Capturing the Future by Replaying the Past"
jkoppel's Repositories
jkoppel/QuixBugs
A multi-lingual program repair benchmark set based on the Quixey Challenge
jkoppel/project-ironfist
jkoppel/ecta
jkoppel/re-course
Materials for Reverse Engineering course taught at MIT IAP
jkoppel/mandate
Automatically deriving control-flow graph generators from operational semantics
jkoppel/omega-calculus
Naive implementaton of causal probablistic programming, faithful to Tavares et al
jkoppel/Communism.js
Workers unite and seize the means of production
jkoppel/OIL
Interpreter and library for a One-Instruction-Language register machine
jkoppel/your-next-interview-question
jkoppel/code-learning-study-setup
jkoppel/BIG-bench
Beyond the Imitation Game collaborative benchmark for enormous language models
jkoppel/derive
A Haskell program and library to derive instances for data types
jkoppel/django-battleships
A multiplayer game of Battleships using the Django framework.
jkoppel/dogbunny-petri
CPNTools Petri Net file to accompany my blog post "Solving the Dog-Bunny Puzzle with Program Verification Technology"
jkoppel/equivalence
jkoppel/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
jkoppel/graal
GraalVM: Run Programs Faster Anywhere :rocket:
jkoppel/hashtables
Mutable hash tables for Haskell, in the ST monad
jkoppel/ks-elastic-sc
KyberSwap Elastic Smart Contract v2
jkoppel/language-c
git mirror of language-c darcs repo at http://code.haskell.org/language-c
jkoppel/language-java
Java parser and printer for haskell
jkoppel/language-javascript
Parser for JavaScript, in Haskell
jkoppel/monad-bayes
A library for probabilistic programming in Haskell.
jkoppel/note89.github.io
Personal blog of Nils Eriksson
jkoppel/openai-hs
Unofficial OpenAI Haskell Bindings
jkoppel/Reality-Hack-2020
Panopticon: Eyes in the back of your head (or car)
jkoppel/sherlock-v2-docs
jkoppel/solidity-hs
A Haskell megaparsec parser for Solidity
jkoppel/stackage
"Stable Hackage": vetted consistent packages from Hackage
jkoppel/static-ls