slightknack / effective
Messing around with delimited continuations, fibers, and algebraic effects
☆15Updated 3 years ago
Alternatives and similar repositories for effective:
Users that are interested in effective are comparing it to the libraries listed below
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Wasm library for PureScript☆27Updated 5 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated last month
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- small programming language. pls be gentle.☆39Updated last week
- A Haskell monad transformer library for data validation☆36Updated last year
- A dependently typed programming language with direct style effects and linearity☆19Updated 6 months ago
- Data structures for describing changes to other data structures.☆17Updated last week
- Extremely composable embeddable programming language☆21Updated this week
- Haskell bindings to binaryen.☆13Updated 3 years ago
- A TOML parser for Idris 2☆15Updated 7 months ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- Source code for haskle.net☆31Updated last year
- Another attempt to realize my programming language☆22Updated 3 weeks ago
- GraphQL Schema generation in Haskell☆17Updated 4 years ago
- Efficient parser combinators for Haskell☆39Updated 9 months ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆64Updated 3 weeks ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Fωμ type checker and compiler☆52Updated 2 years ago
- A library for building bots compositionally.☆41Updated last year
- Classical Logic in Haskell☆23Updated this week
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- ☆44Updated last year
- Ouroboros is a PureScript compiler written in PureScript.☆19Updated 4 months ago
- Implementation of tuples as a flat heterogeneous array, for FFI☆15Updated 9 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated last month
- A tool to make solving type errors in Haskell simple and fun.☆36Updated 2 years ago
- Registry of PureScript packages and metadata about them☆47Updated this week