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 4 months ago
- ☆45Updated 2 years ago
- ☆70Updated 3 years ago
- Unison base libraries☆22Updated 2 months ago
- small programming language. pls be gentle.☆39Updated last week
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Javascript DOM bindings for Idris2☆52Updated last month
- Another attempt to realize my programming language☆23Updated 9 months ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- Haskell bindings to binaryen.☆14Updated 4 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆27Updated 11 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 9 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- ☆36Updated 5 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Wasm library for PureScript☆28Updated last year
- ☆37Updated 4 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- ☆14Updated 3 weeks ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 10 months ago
- Source code for haskle.net☆30Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 weeks ago
- ☆35Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- A bidirectional type checker☆66Updated 8 years ago
- Standard ML Grammar for Tree-sitter☆24Updated 3 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- All the Transient libraries☆43Updated 3 months ago