3Shain / algebraic-effects-tsLinks
Multi-shot CPS typed algebraic effects and handlers, in typescript.
☆18Updated 2 years ago
Alternatives and similar repositories for algebraic-effects-ts
Users that are interested in algebraic-effects-ts are comparing it to the libraries listed below
Sorting:
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆106Updated 2 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆15Updated 3 years ago
- Delimited Continuations for JavaScript☆35Updated last year
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- A template for you to implement Hazelnut yourself☆22Updated 2 months ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- A parser combinator library in TypeScript☆23Updated 3 months ago
- Computational environments and effects for TypeScript☆62Updated 2 years ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Updated 2 years ago
- Algebraic Effects in Javascript☆48Updated 2 years ago
- Push-based streams for Effect-ts☆14Updated 2 years ago
- A collection of hard forks, ports, re-imaginations, and original code to fuel my own learning☆12Updated last week
- Pointfree type-safe functional programming library for TypeScript - with do notation, HKTs, generic lifts and more☆92Updated 3 years ago
- Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.☆111Updated last week
- An implementation of interaction nets in JS.☆132Updated 2 months ago
- Use Effect☆39Updated 8 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 3 months ago
- effect-ts Law Testing☆14Updated 3 weeks ago
- ☆37Updated 3 years ago
- ESLint plugin for typescript to enforce fp-ts functions to avoid the most common javascript problems☆16Updated 3 years ago
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆31Updated last month
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- 🧪 | LLVM backend for HVM☆23Updated 2 years ago
- Formal verification for TypeScript☆21Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- ☆37Updated 3 months ago
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- A dialect of TypeScript with value semantics.☆90Updated last year