Experimental, type-safe algebraic effects
☆14Aug 2, 2025Updated last year
Alternatives and similar repositories for eff-research
Users that are interested in eff-research are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A theory‑backed, type‑safe algebraic effects☆197Aug 2, 2025Updated last year
- (April Fools joke) Your favorite language... transpiled from Scala!☆19Apr 1, 2025Updated last year
- An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.☆15Mar 5, 2026Updated 8 months ago
- zio implementation for https://github.com/ulid/spec☆13Jan 16, 2024Updated 2 years ago
- Spaced repetition of flash cards on the command line☆12Sep 23, 2017Updated 9 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.
- Derive Decline CLIs automatically from your enums and case classes in Scala 3☆15Apr 2, 2026Updated 7 months ago
- The Package Calculus☆13Aug 5, 2026Updated 3 months ago
- Cypherpunk App - Lightning Network, Coinjoin, Payjoin, Taproot, Bitcoin, Nostr, Liquid and ZK Proof☆19Oct 6, 2025Updated last year
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 3 months ago
- Advanced Night Mode☆22Feb 27, 2021Updated 5 years ago
- Generic XDG Desktop Portal backend for Wayland compositors☆22Oct 30, 2026Updated last week
- Extensible effects for Scala☆39Jun 29, 2022Updated 4 years ago
- Using the numerical linear algebra software package Ginkgo in Julia!☆16Aug 29, 2025Updated last year
- Elaboration of cumulative universe hierarchies☆13Oct 26, 2026Updated last week
- 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 kademlia DHT with a 32 byte keyspace, using iroh connections☆19Aug 25, 2026Updated 2 months ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 4 years ago
- (wip) Slide "generation" language and system, for those unsatisfied with both WYSIWYG editors and markup languages.☆22Updated this week
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- Makes union types work with for-comprehensions (like scala.Either, but without the allocation cost).☆16Oct 19, 2021Updated 5 years ago
- Unstable egglog standard library.☆18Oct 30, 2026Updated last week
- An asynchronous runtime built on top of io-uring.☆24Dec 1, 2025Updated 11 months ago
- Polynomial functors (a.k.a. containers) in Haskell☆12Aug 22, 2026Updated 2 months ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A prototype of rail-layout language☆10Oct 11, 2026Updated 3 weeks ago
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.☆15Updated this week
- Zsh Completion Server: Authentic Zsh completions for any LSP-compliant editor.☆30Updated this week
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- (Finite) multisets in Cubical Agda☆11Apr 22, 2026Updated 6 months ago
- ZIO Features☆21Sep 14, 2022Updated 4 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- Easily modify parts of larger data structures☆60Aug 12, 2024Updated 2 years ago
- Library for type-safe use of contextBridge in Electron☆42Mar 21, 2025Updated 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.
- ☆14Jun 5, 2023Updated 3 years ago
- ☆16Nov 6, 2021Updated 5 years ago
- PPL サマースクール 2025 の資料置き場です。☆16Sep 2, 2025Updated last year
- Generic data types in Haskell, utilities for GHC.Generics☆47Jun 24, 2026Updated 4 months ago
- ☆10Jun 11, 2023Updated 3 years ago
- Algebraic Effects for Scala 3☆83Sep 30, 2026Updated last month
- Experimental Spring Dsl Library around Language features☆12Jul 11, 2022Updated 4 years ago