effect-system

There are 2 repositories under effect-system topic.

Effect-TS / effect
A fully-fledged functional effect system for TypeScript with a rich standard library
effect-system fp framework stack-safe typescript zio
Language:TypeScript 4547
haskell-effectful / effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
effect-system haskell
Language:Haskell 329
zio / zio-direct
Direct-Style Programming for ZIO
async-await effect-system functional-programming meta-programming scala
Language:Scala 149
pfun
suned / pfun
Functional, composable, asynchronous, type-safe Python.
functional-programming python3 python-3 type-safety mypy static-code-analysis types immutable immutable-datastructures immutable-collections immutable-objects currying curry asyncio async zio effects effect-system
Language:Python 146
ENvironmentSet / hyogwa
Natural 🌿 effect system that fits TypeScript
algebraic-effects computational-effects effect-system extensible-effects functional-programming typescript
Language:TypeScript 50
Nymphium / eff.lua
ONE-SHOT Algebraic Effects for Lua!
lua eff algebraic-effects coroutines effect-system
Language:Lua 43
catseye / SixtyPical
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
experimental-language static-analysis abstract-interpretation 6502-assembly effect-system flow-typing symbolic-execution low-level-programming
Language:Python 31
tim-smart / elemental
A toolkit for writing software in dart. Effect-system, dependency management and more!
flutter state-management dart effect-system
Language:Dart 20
AntonPing / norem-lang
A modern functional programming language with effect system.
compiler functional-programming programming-language effect-system
Language:Rust 18
Matthew-Mosior / fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
yaml-configuration haskell csv-writer bioinformatics somatic-hypermutation knuth-morris-pratt sbv smt-solver biomart xml-generator effect-system effectful linear-types multithreading
Language:Haskell 14
ebresafegaga / tina
Tina, a programming language with typed algebraic effects and handlers.
algebraic-effects effects effect-handlers effect-system llvm compiler programming-language interpreter type-checking ocaml cps bidirectional-typechecking
Language:OCaml 9
haskell-effectful / cache-effectful
Bindings to the `cache` library for the Effectful ecosystem
effect-system effectful
Language:Haskell 8
haskell-effectful / typed-process-effectful
Bindings of typed-process for the effectful ecosystem
effect-system effectful haskell
Language:Haskell 8
haskell-effectful / log-effectful
effect-system effectful
Language:Haskell 7
haskell-effectful / monad-time-effectful
effect-system effectful
Language:Haskell 7
Kleidukos / servant-effectful
Servant bindings for the Effectful ecosystem
effect-system effectful haskell servant
Language:Haskell 7
lepusframework
takapi327 / lepusframework
Lepus Framework is an asynchronous REST API framework for Scala 3.
dotty framework scala scala3 cats-effect sbt effect-system functional-programming http4s
Language:Scala 7
haskell-effectful / crypto-rng-effectful
Adaptation of the crypto-rng library for the effectful ecosystem.
effect-system effectful
Language:Haskell 4
Kamirus / lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
stlc coq-formalization lambda-calculus nested-datatypes progress preservation theorem-proving control-operators effect-handlers effect-system
Language:Coq 4
Kleidukos / pg-transact-effectful
pg-transact for the Effectful ecosystem
effect-system effectful haskell postgresql
Language:Haskell 3
giacomocavalieri / master-thesis
Master thesis in computer science and engineering
monads effect-system free-monads monad-transformers mtl scala
Language:TeX 2
giacomocavalieri / master-thesis-code-examples
Scala code examples for my master thesis
monads effect-system free-monads monad-transformers mtl scala
Language:Scala 1
okeuday / effects
An experimental C++ runtime effect system
referential-transparency effect-system effects
Language:C++ 1
wraikny / EffFs
F# Effect System based on SRTP
fsharp effect-system
Language:F# 1
abmazhr / elevio_articles_viewer
Simple http-client to interact with elevio-rest-api for viewing and searching articles :)
zio scalaz-zio effect-system scala functional-programming asynchronous fibers
Language:Scala 0
untaljohanperez / spark-streaming-job
scala spark spark-streaming monogdb spark-mongodb-connector twitter-api twitter4j twitter zio zio-effect zio-environment functional-programming effect-system
Language:Scala

effect-system

Effect-TS / effect

haskell-effectful / effectful

zio / zio-direct

suned / pfun

ENvironmentSet / hyogwa

Nymphium / eff.lua

catseye / SixtyPical

tim-smart / elemental

AntonPing / norem-lang

Matthew-Mosior / fasta-region-inspector

ebresafegaga / tina

haskell-effectful / cache-effectful

haskell-effectful / typed-process-effectful

haskell-effectful / log-effectful

haskell-effectful / monad-time-effectful

Kleidukos / servant-effectful

takapi327 / lepusframework

haskell-effectful / crypto-rng-effectful

Kamirus / lambda-formalizations

Kleidukos / pg-transact-effectful

giacomocavalieri / master-thesis

giacomocavalieri / master-thesis-code-examples

okeuday / effects

wraikny / EffFs

abmazhr / elevio_articles_viewer

untaljohanperez / spark-streaming-job