Source code accompanying "Latent Effects for Reusable Language Components"
☆15Aug 24, 2021Updated 5 years ago
Alternatives and similar repositories for Latent-Effect-and-Handlers
Users that are interested in Latent-Effect-and-Handlers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- Paper and talk☆56Jul 11, 2023Updated 3 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- playing with hyperfunctions☆17May 2, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Efficient and single-steppable ULC evaluation algorithm☆15Jun 1, 2021Updated 5 years ago
- Rope data structure used by Yi☆20Jun 6, 2018Updated 8 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆28Apr 22, 2022Updated 4 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆12Sep 21, 2021Updated 5 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago
- ☆15Aug 19, 2026Updated 2 months ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 6 years 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.
- A Really Cool Calculator written in Haskell... or is it?☆46Aug 26, 2021Updated 5 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 6 years ago
- experimenting with unlifted classes via backpack☆36Aug 17, 2022Updated 4 years ago
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated 2 years ago
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated last year
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 8 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 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.
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 8 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Mar 21, 2021Updated 5 years ago
- higher-kinded data☆29May 16, 2023Updated 3 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- ☆21Apr 15, 2018Updated 8 years ago
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- The multimode presheaf proof-assistant☆37Jan 23, 2026Updated 9 months ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- 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.
- ☆19Apr 23, 2022Updated 4 years ago
- Purely functional data structures in Typescript☆14Jul 15, 2020Updated 6 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆25Jan 10, 2021Updated 5 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 5 years ago
- Agda formalisation of second-order abstract syntax☆55Aug 28, 2022Updated 4 years ago
- ☆12May 13, 2026Updated 5 months ago
- Property-based testing for OCaml, built on Hypothesis☆25Oct 21, 2026Updated last week