suned/pfun

Functional, composable, asynchronous, type-safe Python.

Language: Python - Size: 1.58 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 151 - Forks: 14

rcardin/yaes

An experimental effect system in Scala that tracks effects through context functions

Language: Scala - Size: 274 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 88 - Forks: 6

haskell-effectful/effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Language: Haskell - Size: 3.91 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 420 - Forks: 30

vic/fx.go

An Algebraic Effect System for Golang.

Language: CSS - Size: 1.15 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

Matthew-Mosior/fasta-region-inspector

A bioinformatics tool for analyzing somatic hypermutation

Language: Haskell - Size: 6.53 MB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 0

zio/zio-direct

Direct-Style Programming for ZIO

Language: Scala - Size: 6.13 MB - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 156 - Forks: 13

Kleidukos/servant-effectful

Servant bindings for the Effectful ecosystem

Language: Haskell - Size: 29.3 KB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 11 - Forks: 4

catseye/SixtyPical

MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis

Language: Python - Size: 1010 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 33 - Forks: 3

Kleidukos/pg-transact-effectful

pg-transact for the Effectful ecosystem

Language: Haskell - Size: 11.4 MB - Last synced at: about 24 hours ago - Pushed at: 3 months ago - Stars: 5 - Forks: 2

Nymphium/eff.lua

ONE-SHOT Algebraic Effects for Lua!

Language: Lua - Size: 71.3 KB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 49 - Forks: 0

takapi327/lepusframework

Lepus Framework is an asynchronous REST API framework for Scala 3.

Language: Scala - Size: 2.64 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1

ENvironmentSet/hyogwa

Natural 🌿 effect system that fits TypeScript

Language: TypeScript - Size: 193 KB - Last synced at: 19 days ago - Pushed at: 10 months ago - Stars: 59 - Forks: 2

tim-smart/elemental

A toolkit for writing software in dart. Effect-system, dependency management and more!

Language: Dart - Size: 664 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 24 - Forks: 1

moleike/evidence

Effect Handlers in Scala, Evidently

Language: Scala - Size: 66.4 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

haskell-effectful/log-effectful

Language: Haskell - Size: 23.4 KB - Last synced at: 7 months ago - Pushed at: 8 months ago - Stars: 9 - Forks: 3

haskell-effectful/typed-process-effectful

Bindings of typed-process for the effectful ecosystem

Language: Haskell - Size: 43.9 KB - Last synced at: 12 days ago - Pushed at: 8 months ago - Stars: 8 - Forks: 2

wraikny/EffFs

F# Effect System based on SRTP

Language: F# - Size: 119 KB - Last synced at: 13 days ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0

Kleidukos/cache-effectful

Bindings to the `cache` library for the Effectful ecosystem

Language: Haskell - Size: 10.7 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 3

AntonPing/norem-draft-2

A modern functional programming language with effect system.

Language: Rust - Size: 536 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 0

okeuday/effects

An experimental C++ runtime effect system

Language: C++ - Size: 25.4 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

haskell-effectful/crypto-rng-effectful

Adaptation of the crypto-rng library for the effectful ecosystem.

Language: Haskell - Size: 21.5 KB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1

untaljohanperez/spark-streaming-job

Language: Scala - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

Kamirus/lambda-formalizations

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

Language: Coq - Size: 388 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 1

haskell-effectful/monad-time-effectful

Language: Haskell - Size: 21.5 KB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1

giacomocavalieri/master-thesis-code-examples

Scala code examples for my master thesis

Language: Scala - Size: 53.7 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

giacomocavalieri/master-thesis

Master thesis in computer science and engineering

Language: TeX - Size: 233 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

ebresafegaga/tina

Tina, a programming language with typed algebraic effects and handlers.

Language: OCaml - Size: 8.9 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1

abmazhr/elevio_articles_viewer

Simple http-client to interact with elevio-rest-api for viewing and searching articles :)

Language: Scala - Size: 44.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0