Yet another Rust algebraic effect library using generators
☆21Jun 10, 2025Updated 10 months ago
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:
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆28Apr 6, 2026Updated 3 weeks ago
- Experimental autogenerated traits for operations between arbitrary structs (in the same crate).☆20Nov 22, 2025Updated 5 months ago
- #[derive(Future, Stream, Sink, AsyncRead, AsyncWrite, AsyncSeek, AsyncBufRead)] for enums.☆18Updated this week
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Runtime dependency injection library for Rust☆30Jan 3, 2026Updated 4 months 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.
- An experimental library for metaprogramming with algebraic effects and handlers☆32Updated this week
- ☆21Jan 12, 2025Updated last year
- A durable execution engine for rust☆50Mar 16, 2026Updated last month
- ☆42Apr 25, 2023Updated 3 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 5 years ago
- A client defined dynamic forward proxy chain. Client or Access Server <=> n Proxy Servers <=> Origin Server☆18Apr 8, 2026Updated 3 weeks ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- C based backend for rustc☆30Feb 26, 2025Updated last year
- rust rcu cell library☆44May 9, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Using trust_me、shut_up、cpp_start or other keywords replace 'unsafe' in Rust. Compiler shut up!☆26Mar 18, 2025Updated last year
- Units of conversion for Rust☆12Jan 27, 2024Updated 2 years ago
- Hackable, local, ai-enabled notes app☆17Mar 20, 2026Updated last month
- αProlog☆18Jul 9, 2023Updated 2 years ago
- Helper for macro_rules authors to chain their macros with builtin ones (such as `env!`, `include!`, or `concat_idents!`).☆18Apr 10, 2024Updated 2 years ago
- lens implemented in rust☆118Jun 5, 2023Updated 2 years ago
- ant is not TeX☆24Apr 25, 2016Updated 10 years ago
- Examples of how Bare makes running Javascript everywhere easy.☆13Mar 31, 2025Updated last year
- Timer app tailored for Free Methodist Bible Quizzing☆16Apr 24, 2026Updated last week
- 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.
- Dynamic error library with rich error wrapping and context support☆20Feb 21, 2025Updated last year
- Rust crate to enable ANSI escape code support on Windows.☆14Apr 14, 2026Updated 2 weeks ago
- Rust crate for Ok-wrapping and try blocks☆22Oct 18, 2022Updated 3 years ago
- Lua Version Manager for Windows.☆10Oct 17, 2019Updated 6 years ago
- Blazingly Fast Pseudo Random Number Generator written in Rust☆22Sep 21, 2024Updated last year
- Simple and fast async channels☆18Jun 22, 2024Updated last year
- Frontend for Uplink☆12Apr 22, 2025Updated last year
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Jun 10, 2022Updated 3 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A kubernetes native workflow orchestrator used to create DAGs that can run on a schedule as well as in an event driven manner☆27Apr 24, 2026Updated last week
- ☆10Sep 27, 2022Updated 3 years ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- An opinionated Rust library for building application using data pipeline semantics.☆13Mar 20, 2025Updated last year
- Open a scope and then freeze it in time for future access.☆109Aug 19, 2024Updated last year
- Official source code of the Expect Perl module☆14Mar 13, 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 3 years ago