A small compiler for the Prospero Challenge in Constructive Solid Geometry
☆11Nov 28, 2025Updated 4 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 自分用ビルドスクリプト集☆10Mar 13, 2026Updated 2 weeks ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- ☆11Jun 8, 2023Updated 2 years ago
- ☆14Nov 4, 2025Updated 4 months 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Minimalist compiler course, based on Essential of Compilation☆11Mar 2, 2026Updated 3 weeks ago
- A simple, lightweight library for ANSI styling.☆24Oct 30, 2025Updated 5 months ago
- Fir programming language☆97Updated this week
- ☆17Apr 4, 2024Updated last year
- An Erasure Code Library with Efficient Repair and Update Features☆11Jan 3, 2022Updated 4 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 3 months ago
- Grapheme aware string handling (Unicode tr29)☆11Sep 19, 2024Updated last year
- vm process virtual machine☆17Jun 11, 2018Updated 7 years ago
- MediaWiki-inspired wiki in Go☆16Mar 6, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Instantiate, inspect, and invoke Wasm components from within a component.☆17Jun 27, 2024Updated last year
- Automatically load (Japanese) subtitles in MPV☆13Jan 13, 2026Updated 2 months ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 9 months ago
- Use your cookies from browsers in your curl, wget and httpie requests!☆19Feb 5, 2026Updated last month
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.☆10Jul 11, 2025Updated 8 months ago
- Rust library to manipulate file system access control lists (ACL) on macOS, Linux, and FreeBSD.☆14Sep 2, 2024Updated last year
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- Minimalistic livestreaming site☆13Oct 5, 2025Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Mirror for: https://gitea.va.reichard.io/evan/AnthoLume☆15Mar 22, 2026Updated last week
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆11Oct 16, 2024Updated last year
- Simple functional-ish language written in Kotlin☆23Aug 19, 2025Updated 7 months ago
- ☆10Jul 30, 2022Updated 3 years ago
- An experiment in implementing a code editor from scratch☆10Nov 28, 2024Updated last year
- functional programming language and its compiler☆18Oct 22, 2019Updated 6 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 4 months ago
- Turn any executables to a single binary ELF application☆81Mar 23, 2026Updated last week
- Planet Generator Prototype in JavaScript from 2014☆13Feb 13, 2023Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- c compiler☆16May 21, 2020Updated 5 years ago
- Ruby parser and LSP in Rust☆20Jul 23, 2022Updated 3 years ago
- a ML-style programming language based on the calculus of constructions type theory☆24Jul 6, 2025Updated 8 months ago
- list of resource about low level dev☆18Nov 15, 2025Updated 4 months ago
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated 2 years ago
- Cross-platform music player written in Rust + Slint☆30Dec 29, 2025Updated 3 months ago