Tool to simulate staking behaviour in Proof-of-Stake blockchains, especially tailored towards Cardano.
☆16Dec 24, 2025Updated 10 months ago
Alternatives and similar repositories for Rewards-Sharing-Simulation-Engine
Users that are interested in Rewards-Sharing-Simulation-Engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Dec 3, 2024Updated last year
- A micro-service that accepts Cardano transactions☆10Feb 23, 2022Updated 4 years ago
- A plugin for working with Aiken on Vim / NeoVim.☆15Dec 5, 2025Updated 10 months ago
- Deprecated in favour of blaze https://github.com/butaneprotocol/blaze-cardano☆16Jun 4, 2024Updated 2 years ago
- My personal blog on topics ranging from philosophy to DeFi.☆19Aug 3, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A mock wallet implementation for testing out different products "as if" you were the user.☆15Jun 6, 2026Updated 4 months ago
- This java project is used to calculate the rewards of the Cardano blockchain. It aims to be both an edge case documentation and formula i…☆22Jun 7, 2026Updated 4 months ago
- ☆13Jul 9, 2026Updated 3 months ago
- Uses the cardano mini-protocols to receive every block and transaction, and save them to a configurable destination☆20Feb 12, 2023Updated 3 years ago
- ☆15Dec 17, 2024Updated last year
- Elm offchain package for Cardano☆27May 6, 2026Updated 5 months ago
- A public repo to keep track of issues and feature requests in pooltool☆75Aug 5, 2023Updated 3 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- Hydrozoa: Lightweight multi-party state channels for Cardano☆21Oct 20, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Just a collection of cardano related stuff from me or other contributors as a reference collection.☆10Sep 27, 2026Updated last month
- A demo of gittuf☆13Updated this week
- ☆30May 13, 2026Updated 5 months ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- An untyped Plutus Core assembler☆32Feb 26, 2022Updated 4 years ago
- monads can compose when distributive law exists.☆10Sep 17, 2012Updated 14 years ago
- ☆10Updated this week
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Nov 24, 2021Updated 4 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years 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.
- A fully open source node client for Cardano, written in Rust☆119Updated this week
- My Emacs configuration☆10Updated this week
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- ☆10Jun 30, 2021Updated 5 years ago
- ☆10Oct 20, 2026Updated last week
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 4 years ago
- My customized version of tmux, built with Nix.☆14Jul 28, 2026Updated 3 months ago
- A PostgreSQL extension providing a suite of Cardano-related tools, including cryptographic functions, address encoding/decoding, and bloc…☆12Feb 14, 2026Updated 8 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- ☆15Aug 29, 2021Updated 5 years ago
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 5 years ago
- Common Lisp Package for Parallel Corpus Processing☆13Feb 17, 2024Updated 2 years ago
- The Cardano Explorer makes it easy for regulators, policymakers and regulated entities to navigate the Cardano blockchain without having …☆12Nov 26, 2024Updated last year
- Some tutorial-style examples of Rust programs☆15Oct 27, 2017Updated 9 years ago
- Whisk: 16-bit serial processor for TT02☆13Sep 30, 2024Updated 2 years ago