susisu / effectful
Algebraic effects and handlers for TypeScript
☆9Updated last month
Alternatives and similar repositories for effectful:
Users that are interested in effectful are comparing it to the libraries listed below
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 4 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 2 months ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆22Updated 2 years ago
- ☆45Updated 2 years ago
- A programming language (WIP)☆29Updated 11 months ago
- ☆45Updated 2 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆20Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- TypeScript type-level execution tool☆11Updated 2 years ago
- ☆17Updated 3 months ago
- No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust☆45Updated 9 months ago
- PoC: A rusty Option for TypeScript.☆20Updated 2 months ago
- Nazo ML - my toy programming language☆59Updated 4 years ago
- SATySFi parser writtern in Rust.☆14Updated 3 years ago
- WebAssembly eXtended Text Format☆13Updated 2 years ago
- functional programming language and its compiler☆18Updated 5 years ago
- A toy programming language which is a subset of OCaml.☆51Updated this week
- Execute command in local client from remote host☆23Updated 2 years ago
- Highly-customizable dotfiles manager☆13Updated 2 years ago
- deiny is web app for web app. under development☆16Updated 9 months ago
- ☆14Updated 3 years ago
- HoTT in Japanese☆34Updated last year
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Updated 3 months ago
- ☆66Updated 2 years ago
- The minimal functional programming library.☆17Updated 2 months ago
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- Example of Language Server Protocol (LSP) server implementation for obvious language as first step☆16Updated 3 years ago
- Ruby parser and LSP in Rust☆20Updated 2 years ago
- Expression-oriented toy programming language written in Rust☆19Updated 6 years ago
- A programming language for double-entry accounting, inspired by Beancount.☆17Updated 4 months ago