amnh / PCG
𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
☆28Updated 2 years ago
Related projects: ⓘ
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 3 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 4 years ago
- Constraint Handling Rules☆14Updated 2 years ago
- Yoneda lemma in every known language☆17Updated last year
- Learn the Agda basics in three 2-hour sessions.☆53Updated 10 months ago
- The LC3 virtual machine☆22Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A Haskell game written in Yampa☆25Updated 6 months ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- ☆28Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Probabilistic Functional Logic Programming☆14Updated last year
- Library of categories, with categorical constructions on them☆54Updated last year
- ☆16Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Crazy figures and animations with Haskell☆33Updated 5 years ago
- High level, generic library for interrogative user interfaces in Haskell☆42Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- User-contributed extensions to diagrams☆27Updated this week
- Evaluate special comments in your program on file save.☆38Updated 3 years ago
- Yet another Scheme implemented in Haskell☆20Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated this week
- ☆39Updated 4 years ago
- An efficient graph library for Haskell☆39Updated last month