aakoshh / async-stm-rsView external linksLinks
Asynchronous Software Transactional Memory library for Rust
☆28May 9, 2024Updated last year
Alternatives and similar repositories for async-stm-rs
Users that are interested in async-stm-rs are comparing it to the libraries listed below
Sorting:
- Scope Graph Implementation in Rust☆29Nov 22, 2024Updated last year
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 9 months ago
- 100% legal, FOSS reimplementation of Cubism Core☆11Mar 9, 2023Updated 2 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 5 years ago
- ☆18Feb 3, 2024Updated 2 years ago
- The Pulse separation logic DSL for F*☆34Updated this week
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Graded Dependent Type systems☆25Jun 28, 2023Updated 2 years ago
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- a library for experimental linear lambda calculus☆20Mar 18, 2023Updated 2 years ago
- Type-Level Programming in Rust☆27Dec 29, 2021Updated 4 years ago
- Library for invertible parsing and printing☆33Aug 25, 2025Updated 5 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆65Apr 24, 2024Updated last year
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆32Jan 9, 2026Updated last month
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- A simple, correct TOTP library.☆32Nov 21, 2025Updated 2 months ago
- ☆33Feb 14, 2025Updated last year
- An embedded terminal emulator widget for egui.☆32Dec 30, 2024Updated last year
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 10 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆30Jun 13, 2024Updated last year
- Signature inference for Functional Property Discovery in Haskell☆38Sep 17, 2017Updated 8 years ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated 7 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jan 20, 2026Updated 3 weeks ago
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆38Aug 19, 2022Updated 3 years ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 9 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆39Dec 4, 2023Updated 2 years ago
- BitForex API Document☆12Jul 25, 2018Updated 7 years ago
- The official WHMCS 7.5.3 Release, released by @lmsfao.☆10Apr 8, 2019Updated 6 years ago
- a rust typescript integration☆64Jul 4, 2025Updated 7 months ago
- AI-Powered Kubernetes Management System: A platform combining natural language processing with Kubernetes management. Users can perform r…☆13Mar 30, 2025Updated 10 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- Tracker for Pokemon Soullocke (soul-linked Nuzlocke) runs☆14Jan 29, 2026Updated 2 weeks ago
- Rapid Blockchain Prototypes for Rust☆15Jan 18, 2023Updated 3 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago