Yet another Rust algebraic effect library using generators
☆23Jun 10, 2025Updated last year
Alternatives and similar repositories for reffect
Users that are interested in reffect are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- A contiguous-in-memory double-ended queue that derefs into a slice☆23Jul 27, 2024Updated 2 years ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Jan 9, 2023Updated 3 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 5 years ago
- Algebraic effects and handlers for TypeScript☆25Jul 20, 2026Updated 3 weeks ago
- ☆23Jan 12, 2025Updated last year
- Runtime dependency injection library for Rust☆33May 12, 2026Updated 3 months ago
- αProlog☆18Jul 9, 2023Updated 3 years ago
- ant is not TeX☆24Apr 25, 2016Updated 10 years ago
- lens implemented in rust☆119Jun 5, 2023Updated 3 years ago
- #[derive(Future, Stream, Sink, AsyncRead, AsyncWrite, AsyncSeek, AsyncBufRead)] for enums.☆18Aug 7, 2026Updated last week
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Jun 10, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- My personal awesome list based on GitHub stars☆22Dec 15, 2023Updated 2 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- 3500个常用汉字转火星文字典集，火星文来源为互联网在线网址匹配常用字结果的主观筛选（之前拿来想做应用的）☆11Dec 22, 2021Updated 4 years ago
- 使用zig编译lua，可交叉编译。☆18Feb 26, 2025Updated last year
- An opinionated Rust library for building application using data pipeline semantics.☆13Jun 14, 2026Updated last month
- Delimited Continuations for JavaScript☆35Mar 1, 2024Updated 2 years ago
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Jun 17, 2022Updated 4 years ago
- A simple tool for converting Simple Chinese to Traditional Chinese(TW).☆12Updated this week
- ☆16May 4, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- C based backend for rustc☆34Feb 26, 2025Updated last year
- Frontend for Uplink☆12Apr 22, 2025Updated last year
- Access a Lua state from another state☆14May 7, 2020Updated 6 years ago
- Improved print function that handles ANSI escapes even on Windows☆16Jul 11, 2020Updated 6 years ago
- ☆42Apr 25, 2023Updated 3 years ago
- HUST军理线上作业简易自动填充答案油猴脚本☆11Jan 2, 2024Updated 2 years ago
- Pure Lua implementation of alert dialog box (functionality similar to JavaScript alert() function).☆13Nov 12, 2018Updated 7 years ago
- rust rcu cell library☆45May 9, 2025Updated last year
- A toolkit for bcfnt/bffnt file.☆36Jul 8, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- GraphQL ABC - a GraphQL middleware for the abc web framework☆11Jun 11, 2020Updated 6 years ago
- YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen☆11Aug 6, 2025Updated last year
- File downloader written in Rust programming language☆20Updated this week
- A developer tool for inspecting Loro document state and history☆18Jun 21, 2025Updated last year
- SyncX is an implementation of a CRDT synchronization algorithm in Lua☆17Jun 29, 2021Updated 5 years ago
- Iterator formatting for literate programmers☆19May 8, 2026Updated 3 months ago
- Another scheduling system, focusing on the collection of results for one-time tasks, written in Elixir☆20May 16, 2024Updated 2 years ago