let-unimi / liblet
A teaching aid library for formal languages and compiler courses
☆12Updated 8 months ago
Alternatives and similar repositories for liblet:
Users that are interested in liblet are comparing it to the libraries listed below
- CHR2 to SQL conversion☆13Updated 9 years ago
- A general purpose relational language☆20Updated 4 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 8 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 2 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated 11 months ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆11Updated 3 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- ☆22Updated 2 years ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆22Updated 5 months ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆21Updated 11 months ago
- Category Theory & Cobordism Categories in Lean 4☆15Updated 7 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆29Updated this week
- Datalog + Egg = Good☆65Updated last year
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- A simple induction and BMC engine.☆23Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated 3 weeks ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 7 months ago
- Metamath verifier in Python☆36Updated 9 months ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 3 months ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 7 months ago
- Parallel Programming in Futhark☆48Updated 2 weeks ago
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year