A small compiler for the Prospero Challenge in Constructive Solid Geometry
☆11Nov 28, 2025Updated 3 months ago
Alternatives and similar repositories for live-long-and-prospero
Users that are interested in live-long-and-prospero are comparing it to the libraries listed below
Sorting:
- ☆14Nov 4, 2025Updated 4 months ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- ☆17Apr 4, 2024Updated last year
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago
- Fir programming language☆97Updated this week
- A simple, lightweight library for ANSI styling.☆24Oct 30, 2025Updated 4 months ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Generalized syntax & semantics for universe hierarchies☆32Dec 11, 2023Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 4 years ago
- Eventually a practical 2-level TT-based compiler☆32Feb 3, 2026Updated last month
- 🪆 A Staged Type Theory☆35Sep 4, 2023Updated 2 years ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 5 months ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- ☆40Aug 5, 2024Updated last year
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 3 months ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- Ordo: A minimalist language with row polymorphism☆86Feb 3, 2026Updated last month
- A MQTT Client for ComputerCraft☆10Jan 27, 2024Updated 2 years ago
- A Rust crate for the Roku External Control Protocol (ECP)☆10May 29, 2021Updated 4 years ago
- 自分用ビルドスクリプト集☆10Updated this week
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- An Erasure Code Library with Efficient Repair and Update Features☆11Jan 3, 2022Updated 4 years ago
- Automatically load (Japanese) subtitles in MPV☆13Jan 13, 2026Updated last month
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆49Dec 16, 2024Updated last year
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated 2 years ago
- Forwarding repository for @blurymind/YarnClassic☆10Sep 15, 2022Updated 3 years ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 10 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A Gameboy emulator written in Rust☆35Nov 23, 2018Updated 7 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆64Updated this week
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago