Source code accompanying "Latent Effects for Reusable Language Components"
☆15Aug 24, 2021Updated 4 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☆55Jul 11, 2023Updated 3 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 5 years ago
- A simple induction and BMC engine.☆25May 16, 2022Updated 4 years ago
- Efficient and single-steppable ULC evaluation algorithm☆15Jun 1, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Rope data structure used by Yi☆20Jun 6, 2018Updated 8 years ago
- ☆21Apr 15, 2018Updated 8 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago
- 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
- Property-based testing for OCaml, built on Hypothesis☆17Updated this week
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- A Really Cool Calculator written in Haskell... or is it?☆46Aug 26, 2021Updated 4 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated 11 months ago
- experimenting with unlifted classes via backpack☆36Aug 17, 2022Updated 3 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 8 years ago
- ☆19Apr 23, 2022Updated 4 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Mar 21, 2021Updated 5 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.
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 5 years ago
- The multimode presheaf proof-assistant☆37Jan 23, 2026Updated 5 months ago
- 🩺 A library for compiler diagnostics☆54Jun 19, 2026Updated last month
- higher-kinded data☆30May 16, 2023Updated 3 years ago
- Low-level Haskell bindings to GLFW☆16Jul 8, 2026Updated last week
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆24Jan 10, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- # A simple variable binding library based on well-scoped indices and environments☆32Jun 22, 2026Updated 3 weeks ago
- Overloaded plugin☆31Jun 15, 2024Updated 2 years ago
- Agda formalisation of second-order abstract syntax☆55Aug 28, 2022Updated 3 years ago
- Prototype implementations of systems based on setoid type theory☆66Nov 29, 2020Updated 5 years ago
- Complete Haskell binding to PCRE2☆14Jun 24, 2026Updated 3 weeks ago
- An ott-like DSL embedded in Lean.☆21Updated this week
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago