effekt
Effect language
Language with lightweight effect handling and polymorphism
A language with lexical effect handlers and lightweight effect polymorphism
336 stars
12 watching
27 forks
Language: Scala
last commit: 11 months ago
Linked from 1 awesome list
algebraic-effectscontrol-flowdelimited-continuationeffect-handlerseffect-systemseffectseffekteffekt-langhandlerslanguagelanguage-designlexical-effect-handlersresearch-project
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 lexi-lambda/eff | An extensible effect system for Haskell that allows flexible handling of effects at the type level. | 124 |
| lexi-lambda/freer-simple | A Haskell library for building effectful applications with a focus on type-level effects and composability | 228 |
 hasura/eff | An effect system for Haskell that aims to provide a flexible and performant way of handling effects in programming languages | 553 |
 xnning/eveff | A Haskell library providing an efficient way to handle effects in functional programming | 82 |
 fused-effects/fused-effects | A fast and flexible effect system for Haskell that enables expressive and efficient programming | 649 |
 haskell-effectful/effectful | An effects library for Haskell with seamless integration into the existing ecosystem | 385 |
 dorchard/effect-monad | Provides fine-grained reasoning about effects in Haskell computations | 98 |
 environmentset/hyogwa | An effect system designed to handle intensional information in code, such as side effects, by encoding it into types. | 58 |
 suhailshergill/extensible-effects | A library providing a single monad to handle multiple effects in effectful computations. | 174 |
 tweag/capability | A library that provides an alternative to the mtl, allowing explicit decoupling of effects from their implementation. | 213 |
 eleutherai/polyglot | Large language models designed to perform well in multiple languages and address performance issues with current multilingual models. | 476 |
 bravobike/efx | Library to declaratively write testable effects in Elixir code | 81 |
 effekseer/effekseerforgodot3 | A plugin that enables Godot Engine 3.x to display effects created with the Effekseer runtime system. | 133 |
 purescript/purescript-effect | Provides a way to handle native side effects in PureScript programming | 53 |
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,920 |