machine fusion
☆16Oct 13, 2018Updated 7 years ago
Alternatives and similar repositories for folderol
Users that are interested in folderol are comparing it to the libraries listed below
Sorting:
- Meld virtual machine.☆28Nov 20, 2015Updated 10 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Jan 23, 2026Updated last month
- A formal verification of Linear Temporal Logic in Coq☆23Feb 19, 2026Updated last week
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated 11 months ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- OpenGL and GPU debugging utilities☆14Oct 21, 2012Updated 13 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- An (incomplete) Common Lisp implementation of the iCalendar RFC5545 specification.☆14Apr 19, 2019Updated 6 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- A full-featured IRC bot in Common Lisp☆17May 15, 2025Updated 9 months ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- My personal dot files☆10Sep 13, 2022Updated 3 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- Toy typechecker for Insanely Dependent Types☆82Oct 15, 2025Updated 4 months ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated 11 months ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- ☆15Mar 7, 2018Updated 7 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 4 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- lemon lexicon for DBpedia☆27Oct 13, 2015Updated 10 years ago
- A diff tool that highlights changes at the token (rather than line) level☆13Dec 19, 2022Updated 3 years ago