themotte / tildesLinks
☆11Updated 2 years ago
Alternatives and similar repositories for tildes
Users that are interested in tildes are comparing it to the libraries listed below
Sorting:
- Canonical miniKanren implementation in Racket☆17Updated 8 years ago
- Library of the ##dependent distributed research support group☆115Updated last year
- A reference library for constraint-solving with propagators and CDCL.☆306Updated last year
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆181Updated 7 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 10 months ago
- Abstracting Definitional Interpreters☆68Updated 7 years ago
- Programming language agnostic type construction language based on polynomials.☆369Updated last year
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆439Updated last week
- The Makam Metalanguage☆198Updated 2 years ago
- Haskell + Lisp☆210Updated last year
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated this week
- 1ML prototype interpreter☆285Updated 5 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆135Updated last month
- Play Minesweeper by formally proving your moves in Idris☆167Updated 10 months ago
- ☆60Updated 6 years ago
- A command-line tool to generate Latex (inference rules) from inductive coq definitions.☆30Updated 8 years ago
- ☆79Updated 6 years ago
- an implementation of stuck macros☆144Updated 3 weeks ago
- Equational laws for free☆259Updated 2 months ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 6 years ago
- A small compiler for PCF☆125Updated 4 years ago
- ☆131Updated 3 years ago
- Links: Linking Theory to Practice for the Web☆341Updated last week
- Charity language interpreters and literature☆114Updated 6 years ago
- My solutions for Advent of Code 2019☆14Updated 5 years ago
- A less devious proof assistant☆225Updated 2 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Language independent type-safe communication☆134Updated 7 years ago