slightknack / effectiveLinks
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
Sorting:
- Prototype for https://github.com/Innf107/vega☆19Updated 10 months ago
- Another attempt to realize my programming language☆23Updated 3 months ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 3 years ago
- Classical Logic in Haskell☆24Updated 2 months ago
- small programming language. pls be gentle.☆39Updated last month
- Funny little Haskell impl☆18Updated 4 years ago
- Bidirectional Parsing. Work in Progress☆32Updated 8 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 3 months ago
- A tool to make solving type errors in Haskell simple and fun.☆36Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 4 months ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Data structures for describing changes to other data structures.☆17Updated 4 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆12Updated last week
- Single Page Web Applications in Idris☆25Updated 7 months ago
- 🪆 A Staged Type Theory☆35Updated last year
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 8 months ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- Javascript DOM bindings for Idris2☆52Updated last year
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Haskell Expression Visualizer☆13Updated 3 years ago
- Official Unison extension for Visual Studio Code☆22Updated last year
- A usable type system for call by push-value☆33Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 4 months ago