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:
- small programming language. pls be gentle.☆39Updated last month
- ☆69Updated 3 years ago
- Unison base libraries☆22Updated last month
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- A template for you to implement Hazelnut yourself☆22Updated 2 months ago
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Opinionated package manager for haskell (WIP)☆17Updated 2 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Updated last year
- Source code for haskle.net☆30Updated 2 years ago
- Registry of PureScript packages and metadata about them☆47Updated this week
- ☆45Updated 2 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆54Updated 4 years ago
- Unison Share's backend server☆26Updated last week
- Javascript DOM bindings for Idris2☆52Updated 2 months ago
- ☆16Updated 2 years ago
- ☆36Updated 3 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 8 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 7 months ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 2 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- The PureScript Package Manager in Nix☆57Updated 8 months ago
- Wasm library for PureScript☆28Updated last year
- Compiler frontend for PureScript in Rust☆68Updated this week
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆27Updated 9 months ago
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- Dhall helpers for github actions☆54Updated last year