A Self-Interpreter for F-omega
☆16Dec 6, 2015Updated 10 years ago
Alternatives and similar repositories for asif
Users that are interested in asif are comparing it to the libraries listed below
Sorting:
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated last month
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- concise functionless functional esolang☆14Jan 18, 2026Updated last month
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 4 years ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 4 years ago
- ☆22Oct 12, 2024Updated last year
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- LMAO is a tool that builds Malbolge programs from the low-level assembly language HeLL.☆12Apr 10, 2020Updated 5 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- Agda formalisation of second-order abstract syntax☆55Aug 28, 2022Updated 3 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 6 years ago
- Formalizations of strong normalization proofs☆35Jul 8, 2019Updated 6 years ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago