414owen / phageLinks
The Phage Programming Language
☆13Updated 4 years ago
Alternatives and similar repositories for phage
Users that are interested in phage are comparing it to the libraries listed below
Sorting:
- The LC3 virtual machine☆23Updated 5 months ago
- A reversible language☆22Updated 6 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- A purely functional dynamically typed programming language.☆56Updated 4 years ago
- Crazy figures and animations with Haskell☆34Updated 6 years ago
- a language about nothing☆19Updated 5 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year
- Constraint Handling Rules☆16Updated 8 months ago
- KU Leuven Haskell Compiler☆15Updated 3 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- Brainfuck formalized in Coq☆26Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- A TODO list feature for DrRacket, like to Agda's goal list but for any language.☆33Updated last year
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆29Updated 7 years ago
- ☆37Updated 2 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆55Updated 7 years ago
- Fast equality saturation in Haskell☆84Updated 3 months ago
- Where my everyday research happens☆53Updated this week
- ☆47Updated 7 years ago
- Type Your Matrices For Great Good☆29Updated 4 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆27Updated 3 months ago
- A Haskell libary for generating low-level sounds with high-level combinators.☆15Updated 7 months ago
- Simplified Observational Type Theory☆83Updated 2 years ago
- Experiments with sequent calculi☆27Updated 4 years ago