jkoppel

QuixBugs

A multi-lingual program repair benchmark set based on the Quixey Challenge

project-ironfist

ecta

re-course

Materials for Reverse Engineering course taught at MIT IAP

mandate

Automatically deriving control-flow graph generators from operational semantics

Strafunski-StrategyLib

Cabalized version of the StrategyLib library from Strafunski

omega-calculus

Naive implementaton of causal probablistic programming, faithful to Tavares et al

OIL

Interpreter and library for a One-Instruction-Language register machine

your-next-interview-question

code-learning-study-setup

SecularSolstice.github.io

BIG-bench

Beyond the Imitation Game collaborative benchmark for enormous language models

derive

A Haskell program and library to derive instances for data types

django-battleships

A multiplayer game of Battleships using the Django framework.

dogbunny-petri

CPNTools Petri Net file to accompany my blog post "Solving the Dog-Bunny Puzzle with Program Verification Technology"

equivalence

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

graal

GraalVM: Run Programs Faster Anywhere :rocket:

hashtables

Mutable hash tables for Haskell, in the ST monad

language-c

git mirror of language-c darcs repo at http://code.haskell.org/language-c

language-java

Java parser and printer for haskell

language-javascript

Parser for JavaScript, in Haskell

monad-bayes

A library for probabilistic programming in Haskell.

note89.github.io

Personal blog of Nils Eriksson

openai-hs

Unofficial OpenAI Haskell Bindings

Reality-Hack-2020

Panopticon: Eyes in the back of your head (or car)

sherlock-v2-docs

solidity-hs

A Haskell megaparsec parser for Solidity

stackage

"Stable Hackage": vetted consistent packages from Hackage

static-ls