Typed effects API for OxCaml
☆25Jan 15, 2026Updated last month
Alternatives and similar repositories for handled_effect
Users that are interested in handled_effect are comparing it to the libraries listed below
Sorting:
- ☆11Mar 20, 2025Updated 11 months ago
- ☆28Feb 12, 2026Updated 2 weeks ago
- A new script language based on Java☆11Apr 8, 2020Updated 5 years ago
- ☆11Nov 23, 2024Updated last year
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 5 months ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- https://metaborg.github.io/mj.agda/☆13Oct 14, 2020Updated 5 years ago
- A launcher and mod loader for Minecraft PE☆15Feb 25, 2020Updated 6 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- A library that supports MCPE Websocket Protocol☆19Nov 20, 2025Updated 3 months ago
- A template for you to implement Hazelnut yourself☆22Jul 15, 2025Updated 7 months ago
- A programming language for one-liner method chain lovers!☆25Dec 30, 2023Updated 2 years ago
- Effects-based OCaml Nameserver☆39Dec 3, 2025Updated 2 months ago
- ☆25Jun 24, 2021Updated 4 years ago
- OxCaml Parallelism☆37Jan 15, 2026Updated last month
- Automatic testing of MoonBit programs☆28Feb 11, 2026Updated 2 weeks ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆27Apr 22, 2022Updated 3 years ago
- 豫言☆27Nov 15, 2025Updated 3 months ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- 关于东灯你不知道的事实☆27Feb 18, 2024Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 3 months ago
- ☆40Jan 22, 2026Updated last month
- Low-overhead effect management for concrete monads☆37Mar 25, 2022Updated 3 years ago
- A programming language that runs in Minecraft BE by compiling into commands☆30Sep 7, 2025Updated 5 months ago
- A fancy diagnostics library that allows your compilers to exit with grace☆89Feb 14, 2026Updated 2 weeks ago
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆40Mar 20, 2025Updated 11 months ago
- Websocket lib for Minecraft bedrock☆24Jan 23, 2022Updated 4 years ago
- ☆42Aug 11, 2025Updated 6 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- A formalization of M-types in Agda☆36Mar 7, 2020Updated 5 years ago
- 🩺 A library for compiler diagnostics☆52Nov 21, 2025Updated 3 months ago
- A Minecraft Bedrock ScriptAPI creation manage tool.☆35Feb 24, 2024Updated 2 years ago
- Coq plugin embedding elpi☆184Updated this week
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A Key–Value Database☆12Oct 1, 2023Updated 2 years ago
- Julia package for performing Bloch simulations within the context of Magnetic Resonance Imaging☆13Jan 22, 2026Updated last month
- A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.☆34Feb 27, 2024Updated 2 years ago
- ☆12Mar 13, 2025Updated 11 months ago