DSL for Secure DApps
☆33Jan 23, 2023Updated 3 years ago
Alternatives and similar repositories for alacrity
Users that are interested in alacrity are comparing it to the libraries listed below
Sorting:
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- The old and deprecated Nervos CKB Documentation, see https://github.com/nervosnetwork/docs-new for the new one, kept here only for refere…☆15Aug 25, 2020Updated 5 years ago
- Instructions for benchmarking Ewasm precompiles. (And results.)☆20Nov 23, 2020Updated 5 years ago
- CKB Demo Ruby SDK☆28May 15, 2019Updated 6 years ago
- ☆12Mar 16, 2025Updated 11 months ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Collection of ZKP-related cryptographic primitives☆12Oct 1, 2021Updated 4 years ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Jan 11, 2020Updated 6 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Mar 24, 2022Updated 3 years ago
- An incentive mechanism to make StackExchange sites flourish☆21Sep 14, 2016Updated 9 years ago
- BigInt is an AssemblyScript class for math with arbitrarily large integers☆18Jul 19, 2023Updated 2 years ago
- Building on top of ckb-indexer, Mercury provides handy integration features for Nervos CKB.☆23Mar 9, 2023Updated 2 years ago
- Botelicious. Make sure you spell it with only one "o"☆19Dec 8, 2022Updated 3 years ago
- ZRNT - Executable spec for ETH 2.0, implemented in Go☆102Aug 28, 2025Updated 6 months ago
- Ruby SDK for CKB☆22Jun 9, 2025Updated 8 months ago
- Spacemesh PoET service reference implementation☆24Nov 21, 2025Updated 3 months ago
- A ziglang implementation of the SSZ serialization protocol☆31Feb 24, 2026Updated last week
- An easy-to-use CITA command line tool☆27Feb 10, 2020Updated 6 years ago
- The source code used in the Oakland 2019 paper “Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols' Security”☆29Apr 1, 2021Updated 4 years ago
- The Bond API.☆27Oct 1, 2018Updated 7 years ago
- ☆41Nov 21, 2022Updated 3 years ago
- Axon is a Layer 2 framework of CKB with native cross-chain and interoperability.☆66Mar 24, 2024Updated last year
- AZTEC protocol specification☆31Feb 12, 2020Updated 6 years ago
- ☆35Mar 9, 2021Updated 4 years ago
- Decentralized Durability Engine☆85Updated this week
- BitForex API Document☆11Jul 25, 2018Updated 7 years ago
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- Testing and deployment framework for Ethereum smart contracts.☆36Sep 19, 2016Updated 9 years ago
- ☆29Mar 7, 2023Updated 2 years ago
- A full featured dapp framework for Nervos CKB☆66Sep 10, 2024Updated last year
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Aug 20, 2023Updated 2 years ago
- ☆28Oct 3, 2018Updated 7 years ago
- Codex durability engine research☆36Feb 4, 2026Updated last month
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- ☆10Jun 30, 2025Updated 8 months ago
- CosmWasm Contracts for Skip Go☆42Oct 17, 2025Updated 4 months ago