cicada-lang / cicada-plctView external linksLinks
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 6 months ago
- An implementation of interaction nets in JS.☆132Jul 20, 2025Updated 6 months ago
- Protobuf generator for MoonBit programming language☆14Jan 30, 2026Updated 2 weeks ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Updated this week
- RowScript programming language, making a better browser world☆126Jan 5, 2026Updated last month
- 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☆30Oct 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
- Idris GraphQL☆16Dec 16, 2017Updated 8 years ago
- A react style parser generator based on PEG.js☆24Mar 4, 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☆347Jan 25, 2026Updated 3 weeks ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆85Nov 17, 2025Updated 2 months ago
- Inpla: Interaction nets as a programming language (the current version)☆320Jan 11, 2026Updated last month
- Libraries and tools for topological and geometric modeling.☆17Mar 23, 2025Updated 10 months ago
- A template for you to implement Hazelnut yourself☆22Jul 15, 2025Updated 7 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆68Jul 9, 2025Updated 7 months ago
- high-performance cubical evaluation☆79Apr 27, 2025Updated 9 months ago
- Automatic testing of MoonBit programs☆28Updated this week
- A simple magic mod with player-made spells and Wynncraft-like casting.☆11Dec 8, 2025Updated 2 months ago
- a sharable language☆14Jan 20, 2025Updated last year
- Pure Rust PNG decoder with good performances in WebAssembly☆10Aug 13, 2019Updated 6 years ago
- ⚙ Skeleton TiddlyWiki for developing plugins using the ThirdFlow, see: https://thediveo.github.io/TiddlyWikiPluginSkeleton and https://yo…☆10Mar 1, 2020Updated 5 years ago
- Implementation of Generalized Suffix Tree using Ukkonen's algorithm in Rust☆11Feb 22, 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
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆10Jun 29, 2024Updated last year
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- The Titan programming language.☆12Apr 16, 2024Updated last year
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated 6 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆101Oct 25, 2023Updated 2 years ago
- Functional heterogeneous list (hlist) library for Rust☆11Jun 28, 2020Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Oct 5, 2020Updated 5 years ago
- Fir programming language☆91Updated this week
- 📄🧙 Quickly write GML script boilerplate code and documentation.☆13Dec 9, 2022Updated 3 years ago
- k theorem prover☆11Aug 16, 2022Updated 3 years ago