dhil / pthandlersView external linksLinks
an encoding of affine effect handlers using pthreads
☆14Nov 15, 2022Updated 3 years ago
Alternatives and similar repositories for pthandlers
Users that are interested in pthandlers are comparing it to the libraries listed below
Sorting:
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- Linearizability Hoare Logic☆17Updated this week
- ☆12Jun 13, 2023Updated 2 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Jun 10, 2022Updated 3 years ago
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 2 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 10 months ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 4 months ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆44Jan 24, 2026Updated 3 weeks ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- being a particular fragment of Haskell, extended to a proof system☆43Dec 2, 2025Updated 2 months ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆22Jan 28, 2026Updated 2 weeks ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- ☆23Aug 30, 2017Updated 8 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 5 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- Effects-based OCaml Nameserver☆38Dec 3, 2025Updated 2 months ago
- Logical Relation for MLTT in Coq☆29Jan 14, 2026Updated last month
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 8 months ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 10 years ago
- Toy typechecker for Insanely Dependent Types☆82Oct 15, 2025Updated 4 months ago