leepike / theresistance
Bayesian solver for The Resistance card game: https://en.wikipedia.org/wiki/The_Resistance_(game)
☆11Updated 8 years ago
Related projects: ⓘ
- Austin's supercompiler work☆21Updated 4 years ago
- ☆18Updated 8 months ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 5 years ago
- DIY Markov Chains.☆23Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Haskell library of algebraic topology☆23Updated 12 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆17Updated 8 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- BDD-based implementation of Datalog☆36Updated 4 years ago
- Compositional type checking for a Hindley-Milner type system☆11Updated 7 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 5 years ago
- Generic representation and manipulation of abstract syntax☆25Updated 2 years ago
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- ☆20Updated this week
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last week
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- ☆17Updated 2 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago