damhiya / MetaLambdaLinks
β14Updated last year
Alternatives and similar repositories for MetaLambda
Users that are interested in MetaLambda are comparing it to the libraries listed below
Sorting:
- β10Updated last year
- π A Rocq library written by members of PnV Discord Serverβ15Updated last week
- π (WIP) Rewriting Software Foundations in Lean 4β17Updated last week
- bidirectional type checking algorithms for higher-ranked polymorphismβ19Updated 3 years ago
- β36Updated 9 months ago
- β15Updated 6 months ago
- Tutorial for refinement based verificationβ14Updated last year
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β14Updated 2 months ago
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Updated 2 years ago
- A Lambda expression compiler targeting web assembly.β20Updated last year
- β19Updated last year
- β15Updated 2 years ago
- β48Updated 3 months ago
- PolyRPC, A multi-tier functional programming languageβ20Updated 3 years ago
- Exercises for EOPL in Haskellβ10Updated 6 months ago
- β12Updated last year
- β11Updated 9 months ago
- β15Updated 2 months ago
- A Coq library for parametric coinductionβ50Updated 9 months ago
- EOPL in Haskellβ22Updated last week
- Lambda normalization and conversion checking benchmarks for various implementationsβ59Updated 4 years ago
- System F-omega normalization by hereditary substitution in Agdaβ60Updated 6 years ago
- Prototype for https://github.com/Innf107/vegaβ19Updated last year
- bollu learns implementation of dependent typingβ32Updated 2 years ago
- A verified compiler for a lazy functional languageβ37Updated last week
- μν μ¦λͺ μΈμ΄ Agda μ λ¬Έβ12Updated 2 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theoriesβ26Updated 3 weeks ago
- β React-tRace is a React hooks reference interpreter based on a formal semanticsβ32Updated last month
- A compiler that translates a form of lambda calculus to Cβ12Updated last year
- Haskell Expression Visualizerβ13Updated 3 years ago