A compiler, testing bed, and standard library for the Choral programming language.
☆51Sep 15, 2026Updated last month
Alternatives and similar repositories for choral
Users that are interested in choral are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Functional choreographic programming in Haskell☆136Jun 4, 2026Updated 4 months ago
- POWER-KI programming language for Intelligent Applications (IA)☆17Aug 13, 2026Updated 2 months ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated 2 years ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.☆17Jan 28, 2026Updated 9 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 3 years ago
- ☆12Updated this week
- March is a statically-typed functional language: actors and message passing from the BEAM, algebraic data types from ML, compiled to nati…☆22Updated this week
- New implementation of protocols☆15Updated this week
- PL Professors List☆20Apr 19, 2026Updated 6 months ago
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- work in progress, playing around with btor2 in rust☆16Updated this week
- Language based on Rewriting Logic☆196Updated this week
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated 2 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.
- A programming language with first-class modules and algebraic effects.☆15Dec 3, 2022Updated 3 years ago
- Actor model implemented in OCaml - early alpha☆10Jun 5, 2020Updated 6 years ago
- ☆10Oct 15, 2021Updated 5 years ago
- A reverse literate programming tool.☆16Jun 26, 2024Updated 2 years ago
- A minimal, certified, executable HTTP server written in Coq☆11Mar 30, 2021Updated 5 years ago
- A flexible modeling notation Δ☆15Jul 29, 2026Updated 3 months ago
- An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.☆12Sep 27, 2023Updated 3 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Jul 10, 2026Updated 3 months ago
- Most of com.google.common repackaged and modularized☆21Jan 14, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A PBT framework☆10Jul 19, 2025Updated last year
- Tiny concurrent I/O and promises library☆13Aug 7, 2026Updated 2 months ago
- A Java and JavaScript charting package☆17Aug 10, 2026Updated 2 months ago
- Interacting with cron from OCaml☆14Apr 16, 2022Updated 4 years ago
- Create P2P apps between browsers☆12Dec 30, 2022Updated 3 years ago
- Egraphs Modulo Theories☆20Jun 10, 2025Updated last year
- A lightweight reactor runtime targeted at distributed resource-constrained embedded systems☆21Oct 22, 2026Updated last week
- ☆12Nov 21, 2019Updated 6 years ago
- Smart contracts for Etherlink bridging transport protocol☆10Jun 19, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml☆11Nov 10, 2022Updated 3 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- hackertyper clone written in choo☆11Jun 26, 2016Updated 10 years ago
- Read-only mirror of https://gitlab.com/openid/conformance-suite - merge requests MUST be submitted on gitlab.com☆16Updated this week
- Lookup and load installed OCaml modules☆17Aug 13, 2026Updated 2 months ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 7 years ago
- SmartTokens are small-sized tangible tokens that can sense multiple types of motion, multiple types of touch/grip, and send input events …☆12Dec 11, 2015Updated 10 years ago