ralsei / types.plLinks
The glitch-soc/Mastodon fork running on types.pl
☆26Updated last week
Alternatives and similar repositories for types.pl
Users that are interested in types.pl are comparing it to the libraries listed below
Sorting:
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Updated last year
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- My Agda blog/lab/playground☆12Updated last week
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- A formalization of System Fω in Agda☆20Updated last month
- Linearizability Hoare Logic☆17Updated 10 months ago
- # A simple variable binding library based on well-scoped indices and environments☆29Updated 3 months ago
- A verified compiler for a lazy functional language☆37Updated this week
- Interactive holes for Lean 4☆22Updated last year
- ☆40Updated 2 years ago
- A relational interpretation of Lojban☆36Updated 6 months ago
- Polymorphic guarded λ-calculus☆22Updated 6 months ago
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- The Twelf Programming Language☆149Updated 2 weeks ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆17Updated 2 years ago
- a self-hosting lambda calculus compiler☆37Updated 10 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆67Updated last year
- Command-like expressions for real infinite-precision calculations☆55Updated 6 months ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Updated 2 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆41Updated this week
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated 2 years ago
- ☆17Updated last year
- Agda grammar for tree-sitter☆42Updated 5 months ago
- Demo for dependent types + runtime code generation☆72Updated 11 months ago
- Take an info.rkt file, produce a info.nix file.☆45Updated 4 years ago
- Lean 4 port of Megaparsec☆34Updated 2 years ago
- ☆17Updated last year
- high-performance cubical evaluation☆79Updated 9 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆30Updated last week