janestreet / handled_effectLinks
Typed effects API for OxCaml
☆19Updated 3 weeks ago
Alternatives and similar repositories for handled_effect
Users that are interested in handled_effect are comparing it to the libraries listed below
Sorting:
- ♾️ A library for universe levels and universe polymorphism☆36Updated 2 months ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated 2 months ago
- A type theory with native support for Polynomial Functors.☆41Updated 2 years ago
- Demo for dependent types + runtime code generation☆72Updated 11 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆24Updated last year
- Formalization of CBPV extended with effect and coeffect tracking☆14Updated last year
- an implementation of Observational Type Theory (OTT) and more☆30Updated 3 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆82Updated this week
- A deterministic parser with fused lexing☆75Updated 2 years ago
- A cost-aware logical framework, embedded in Agda.☆74Updated 3 months ago
- HoTT Book formalisations in Rzk.☆20Updated 2 years ago
- high-performance cubical evaluation☆79Updated 9 months ago
- ☆42Updated 5 months ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆27Updated 3 years ago
- ☆38Updated 4 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Updated 4 years ago
- 🩺 A library for compiler diagnostics☆52Updated 2 months ago
- Slides and handwritten notes on the course on models of programming languages☆53Updated 5 years ago
- Git repository for the course Logika v računalništvu☆15Updated 3 years ago
- A formalization of the theory behind the mugen library☆19Updated last year
- 🪆 A Staged Type Theory☆35Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆42Updated 2 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- ☆80Updated this week
- Building A Correct-By-Construction Proof Checkers For Type Theories☆29Updated 3 weeks ago
- Datatypes as quotients of polynomial functors☆41Updated 5 years ago
- EGraphs in OCaml☆80Updated 2 years ago
- VSCode support for Forester☆22Updated 2 months ago
- Simply Typed Lambda Calculus with de Bruijn indices☆16Updated 10 months ago