slightknack / effectiveLinks
Messing around with delimited continuations, fibers, and algebraic effects
☆16Updated 4 years ago
Alternatives and similar repositories for effective
Users that are interested in effective are comparing it to the libraries listed below
Sorting:
- A template for you to implement Hazelnut yourself☆22Updated 3 months ago
- small programming language. pls be gentle.☆39Updated 3 weeks ago
- ☆36Updated 4 months ago
- Option types for TypeScript with real gradual typing [moved to Codeberg]☆21Updated 3 months ago
- The Yatima Standard Library☆20Updated last year
- Unison base libraries☆22Updated last month
- ☆70Updated 3 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 9 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- Source code for haskle.net☆30Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- Wasm library for PureScript☆28Updated last year
- Javascript DOM bindings for Idris2☆52Updated 2 weeks ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- ☆45Updated 2 years ago
- Haskell bindings to binaryen.☆14Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Quick explanation of eliminating left recursion in Haskell parsers☆56Updated 4 years ago
- Single Page Web Applications in Idris☆25Updated last week
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- A Haskell IDE for Visual Studio Code.☆27Updated 2 months ago
- Dhall helpers for github actions☆54Updated last year
- All the Transient libraries☆42Updated 2 months ago
- ☆13Updated 7 months ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- ☆21Updated 4 months ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- A structural editor for JSON values☆77Updated 3 years ago