Cicada Language (PLCT little team)
☆94Dec 25, 2024Updated last year
Alternatives and similar repositories for cicada-plct
Users that are interested in cicada-plct are comparing it to the libraries listed below
Sorting:
- Cicada Language (solo version)☆128Dec 25, 2024Updated last year
- ☆70Jul 20, 2025Updated 7 months ago
- An implementation of interaction nets in JS.☆132Jul 20, 2025Updated 7 months ago
- Protobuf generator for MoonBit programming language☆14Feb 28, 2026Updated last week
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Feb 25, 2026Updated last week
- RowScript programming language, making a better browser world☆125Jan 5, 2026Updated 2 months ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- ☆12Aug 19, 2021Updated 4 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆17Jul 11, 2023Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- A proof assistant and a dependently-typed language☆351Feb 22, 2026Updated 2 weeks ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆86Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆325Feb 28, 2026Updated last week
- Libraries and tools for topological and geometric modeling.☆17Mar 23, 2025Updated 11 months ago
- A template for you to implement Hazelnut yourself☆22Jul 15, 2025Updated 7 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆65Apr 24, 2024Updated last year
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆69Mar 2, 2026Updated last week
- high-performance cubical evaluation☆80Feb 27, 2026Updated last week
- Automatic testing of MoonBit programs☆28Updated this week
- Functional heterogeneous list (hlist) library for Rust☆11Jun 28, 2020Updated 5 years ago
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 3 years ago
- The Titan programming language.☆12Apr 16, 2024Updated last year
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆10Jun 29, 2024Updated last year
- A simple magic mod with player-made spells and Wynncraft-like casting.☆11Dec 8, 2025Updated 3 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 4 months ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated 7 months ago
- ⚙ Skeleton TiddlyWiki for developing plugins using the ThirdFlow, see: https://thediveo.github.io/TiddlyWikiPluginSkeleton and https://yo…☆10Mar 1, 2020Updated 6 years ago
- a sharable language☆15Jan 20, 2025Updated last year
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆100Oct 25, 2023Updated 2 years ago
- Pure Rust PNG decoder with good performances in WebAssembly☆10Aug 13, 2019Updated 6 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Oct 5, 2020Updated 5 years ago
- Fir programming language☆97Updated this week
- A repository builder for ArchLinux☆13Feb 2, 2022Updated 4 years ago
- A programming environment for Minecraft☆14Aug 5, 2022Updated 3 years ago
- Compiler for a small stack-based imperative language, targeting the Piet language.☆14Updated this week