world's worst interpreter
☆71Apr 23, 2025Updated last year
Alternatives and similar repositories for flatcalc
Users that are interested in flatcalc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Partition refinement☆16Oct 4, 2026Updated last month
- Regular Omega Language Learning Library☆12Jan 17, 2025Updated last year
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆16May 7, 2022Updated 4 years ago
- Geometry types☆39Jan 6, 2021Updated 5 years ago
- PL Wonks website☆13Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Survey on materials that touch on the history of Lambda Calculus☆13Sep 13, 2020Updated 6 years ago
- ☆11Jun 17, 2025Updated last year
- CPRL (for Compiler PRoject Language) is a relatively small programming language that was designed for teaching the basics of compiler des…☆10Mar 10, 2025Updated last year
- A Kotlin library implementing algebraic effect handlers.☆11Oct 23, 2023Updated 3 years ago
- A modern, principled toy implementation of dependent type theory☆12Mar 5, 2026Updated 8 months ago
- Programming language built with ANTLR and LLVM in C++ for educational purposes☆12Sep 8, 2014Updated 12 years ago
- Lean formalization of extended regular expressions with lookarounds☆10Oct 18, 2026Updated 2 weeks ago
- Wishbone plumbing written in Chisel3☆10Dec 19, 2024Updated last year
- A (very) simple graph library.☆13Apr 6, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- RTLCheck☆26Oct 9, 2018Updated 8 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 11 months ago
- ☆10Sep 18, 2026Updated last month
- Language tooling for the Lox programming language.☆364Aug 24, 2026Updated 2 months ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- Like a cell, but make lifetimes dynamic instead of ownership☆22Jul 14, 2022Updated 4 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- an educational compiler intermediate representation☆802Updated this week
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- compiling DSLs to high-level hardware instructions☆25Nov 8, 2022Updated 3 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- An example of on-boarding a PIO block in with duh and wake☆12Nov 18, 2020Updated 5 years ago
- Verified graph rewriting (for dataflow circuits).☆29Oct 29, 2026Updated last week
- ☆10May 25, 2022Updated 4 years ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- A compiler for the MONAD language from Advent of Code 2021 Day 24☆21Dec 13, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Writeup that goes along with this:☆16Apr 19, 2018Updated 8 years ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 3 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- Static file Server.☆15Jan 31, 2023Updated 3 years ago
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 4 months ago