Asynchronous Software Transactional Memory library for Rust
☆28May 9, 2024Updated 2 years ago
Alternatives and similar repositories for async-stm-rs
Users that are interested in async-stm-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Asynchronous Session Types library☆15Mar 31, 2022Updated 4 years ago
- Scope Graph Implementation in Rust☆33Nov 22, 2024Updated last year
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years ago
- Rholang plugin for the IntelliJ Platform☆11Sep 18, 2018Updated 8 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆15Jun 18, 2023Updated 3 years ago
- Proof-of-stake blockchain consensus simulator☆10Oct 19, 2021Updated 5 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 6 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 6 years ago
- Example of attaching a Hoplon component to a mount point in an existing HTML page.☆10May 19, 2017Updated 9 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- An attempt to grok type-level programming in Scala☆10Jun 20, 2014Updated 12 years ago
- Moved to https://github.com/dudykr/ddbase☆16Dec 14, 2023Updated 2 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.
- https://multicall3.com☆15Mar 10, 2025Updated last year
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- xoroshiro128+ implementation in Rust☆11Jun 5, 2020Updated 6 years ago
- Ring middleware that uses tools.namespace to reload changed files☆11Aug 28, 2016Updated 10 years ago
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago
- Full-featured, robust deriving for Caliban.☆15Aug 20, 2024Updated 2 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- 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.
- Parse byte size into integer accurately.☆33Sep 17, 2024Updated 2 years ago
- Code from the Functional Scala Conference talk: Type inference for plain-text SQL☆10Dec 5, 2024Updated last year
- Type-Level Programming in Rust☆30Dec 29, 2021Updated 4 years ago
- ☆19Nov 10, 2023Updated 2 years ago
- Graded Dependent Type systems☆28Jun 28, 2023Updated 3 years ago
- ☆21Sep 8, 2023Updated 3 years ago
- Provides a Refl encoding in Rust☆71Apr 6, 2023Updated 3 years ago
- Standard ML (SML) grammar for tree-sitter☆15May 22, 2025Updated last year
- Checkers, tic-tac-toe, connect-4. These are all the same right? A framework for two player, turn based, perfect information games on Holo…☆11Jun 15, 2022Updated 4 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.
- Compiler and code generator for a dialect of Abstract Syntax Description Language☆13Oct 13, 2018Updated 8 years ago
- Multi channel synchronized player created with Phoenix/Elixir☆12Updated this week
- Abstract binding tree code generator☆37Oct 31, 2016Updated 10 years ago
- Port of Uxn to digital hardware in the Logisim simulator☆16Dec 11, 2023Updated 2 years ago
- Prototype library for Go-like channels in Scala 3 / ZIO 2☆14Aug 27, 2026Updated 2 months ago
- ☆11Aug 23, 2018Updated 8 years ago
- Clojure implementation of the xoroshiro128+ PRNG described at http://xoroshiro.di.unimi.it/☆15Nov 28, 2017Updated 8 years ago