A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM
☆27Mar 13, 2026Updated last week
Alternatives and similar repositories for spawned
Users that are interested in spawned are comparing it to the libraries listed below
Sorting:
- Useful tools for developing on Ethereum powered by Ethrex☆18Mar 4, 2026Updated 2 weeks ago
- 🧉 Mate Queue Organizer GUI☆11Mar 25, 2025Updated 11 months ago
- A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to de…☆72Updated this week
- Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.☆858Updated this week
- Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games☆73May 14, 2025Updated 10 months ago
- Open-source solver implementation, tooling, and libraries to easy start filling cross-chain intents.☆27Updated this week
- Experimental backend for collaborative code editors following a client server architecture. 🚧☆14Feb 23, 2022Updated 4 years ago
- Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and eas…☆319Jul 20, 2025Updated 8 months ago
- EigenLayer Rust Developer Tooling☆94Mar 3, 2026Updated 2 weeks ago
- Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance☆108Updated this week
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- Bank system api example with accounts, transfers and auth, made using TDD, Go and Postgresql.☆17Feb 5, 2025Updated last year
- ☆16Apr 16, 2024Updated last year
- Full-stack, modular tooling for anyone to permissionlessly add intents to a new chain☆51Mar 12, 2026Updated last week
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆19Aug 15, 2023Updated 2 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆726Updated this week
- ☆10Sep 5, 2023Updated 2 years ago
- Notebooks de las clases del curso de ciencia de datos brindado por el MLI para estudiantes de la facultad de ingeniería de la Universidad…☆10Dec 1, 2021Updated 4 years ago
- Aleo's Minimum Anti-Collusion Infrastructure / MACI☆13Aug 3, 2022Updated 3 years ago
- ☆13Jun 5, 2024Updated last year
- 💻 Resoluciones guias, parciales e integradores, apuntes, clases grabadas, resoluciones en python, etc. Todo bien ordenado - 2024C1☆21Jun 24, 2024Updated last year
- A compilation of BQN solutions to various coding challenges.☆12Mar 2, 2026Updated 2 weeks ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Low-level React Native bindings for PureScript☆15Sep 28, 2016Updated 9 years ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Jun 3, 2024Updated last year
- A simple easy to use working AFk battle point (bp) farming bot for player unknown battle grounds.☆46Jul 19, 2018Updated 7 years ago
- Anonymity Research Tools for TCash Users☆17Feb 8, 2022Updated 4 years ago
- A lightweight, optimized desktop wrapper for Slack, built with Tauri.☆25Feb 4, 2026Updated last month
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 6 years ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- Capture webpage and save as image using chromedp☆18Mar 1, 2026Updated 3 weeks ago
- Proof system with plonkup back-end proving arguments☆14Jun 16, 2022Updated 3 years ago
- Universal/Uniform Backup Tool☆21Feb 28, 2026Updated 3 weeks ago
- Demo project to show using Shaka Player inside an Angular application☆12Dec 22, 2022Updated 3 years ago
- Secure and optimized communication layer for rollups using EigenDA.☆22Jul 23, 2025Updated 7 months ago