stevenbagley / metaiiView external linksLinks
Common lisp implementation of Val Schorr's Meta-II language
☆19Mar 19, 2017Updated 8 years ago
Alternatives and similar repositories for metaii
Users that are interested in metaii are comparing it to the libraries listed below
Sorting:
- Like a cell, but make lifetimes dynamic instead of ownership☆21Jul 14, 2022Updated 3 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- A Haskell-like language for scripting and web apps☆14May 16, 2024Updated last year
- ☆21Mar 15, 2016Updated 9 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Kanren with databases☆44Jul 30, 2024Updated last year
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 8 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- ☆12May 9, 2015Updated 10 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- ☆12Jun 7, 2024Updated last year
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 3 years ago
- ☆16Feb 18, 2025Updated 11 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Updated this week
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last week
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- My Agda blog/lab/playground☆12Updated this week
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 9 months ago
- Copying Garbage Collector☆14May 13, 2020Updated 5 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- Common Lisp Implementation of NeuroEvolution of Augmenting Topologies (NEAT)☆13Dec 7, 2016Updated 9 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 3 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated last month
- Refinement types + dependent types = ❤️☆62Aug 8, 2022Updated 3 years ago