leithaus/casper external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

leithaus/casper

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/leithaus/casper)

Close

leithaus / casperView on GitHubMore

• External links
• Readme badge

Formal specification and reference implementation of Casper

☆15Aug 19, 2015Updated 10 years ago

Alternatives and similar repositories for casper

Users that are interested in casper are comparing it to the libraries listed below

• gavofyork / curly-engine

  View on GitHub
  ☆12Apr 24, 2016Updated 9 years ago
• leithaus / SpecialK

  View on GitHub
  DataLog meets NoSql
  ☆63Jan 2, 2023Updated 3 years ago
• vulcanize / ethersignal

  View on GitHub
  Make your voices heard
  ☆16Dec 14, 2021Updated 4 years ago
• bkirwi / ethereum-haskell

  View on GitHub
  An independent reimplementation of Ethereum in Haskell
  ☆81Jun 25, 2015Updated 10 years ago
• DigixGlobal / sigmate

  View on GitHub
  🔏 Simple Keystore Generator
  ☆12Jan 7, 2019Updated 7 years ago
• paritytech / withdraw-dao

  View on GitHub
  A DAO-ABI-compatible contract to allow *only* withdrawals
  ☆11Jun 25, 2016Updated 9 years ago
• EIS-Bonn / BLONDiE

  View on GitHub
  ☆11Sep 13, 2016Updated 9 years ago
• slothbag / hierarchical-dao

  View on GitHub
  ☆11Aug 10, 2016Updated 9 years ago
• tarrencev / ethjs

  View on GitHub
  A light weight abstraction of the Ethereum JSON RPC API
  ☆11Jan 25, 2016Updated 10 years ago
• kumavis / Learnable-Programming-Resources

  View on GitHub
  A collection of projects and ideas to help students grok programming
  ☆47Jan 30, 2015Updated 11 years ago
• NuxiNL / flower

  View on GitHub
  Label-based networking daemon
  ☆23Jan 1, 2019Updated 7 years ago
• MetaMask / IPFS-Ethereum-Hackathon

  View on GitHub
  Repo for hackathon submissions
  ☆40Jan 8, 2018Updated 8 years ago
• barryWhiteHat / libsnark-tutorial

  View on GitHub
  A zkSNARK tutorial and development environment
  ☆16Mar 16, 2018Updated 7 years ago
• EtherCasts / cryptocoinwatch

  View on GitHub
  Ethereum datafeed to watch the amount received of crypto currencies
  ☆17Feb 6, 2015Updated 11 years ago
• Agoric / SwingSet

  View on GitHub
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Dec 4, 2019Updated 6 years ago
• VentureEquityExchange / whitepaper

  View on GitHub
  ☆19Nov 26, 2015Updated 10 years ago
• ethereum / system-testing

  View on GitHub
  Ethereum system-testing
  ☆14Jun 3, 2015Updated 10 years ago
• auryn-macmillan / DAOForum

  View on GitHub
  Discussion on specifications and design of a forum for the DAO being created by slock.it
  ☆18Mar 31, 2016Updated 9 years ago
• obscuren / whisper-payment-channel

  View on GitHub
  Sample payment channel using whisper
  ☆34Nov 24, 2015Updated 10 years ago
• status-im / ethereumj-personal

  View on GitHub
  EthereumJ for Personal Devices DEPRECATED
  ☆18Jan 8, 2016Updated 10 years ago
• SilentCicero / meteor-dapp-pricefeed

  View on GitHub
  Meteor dapp for operating price feeds on Ethereum.
  ☆18Apr 24, 2015Updated 10 years ago
• primea / design

  View on GitHub
  Documentation and research notes related to the Prima Kernel
  ☆19Nov 22, 2017Updated 8 years ago
• ipld / js-ipld-dag-cbor

  View on GitHub
  JavaScript implementation of the IPLD dag-cbor format.
  ☆54Aug 11, 2021Updated 4 years ago
• okTurtles / group-income-old

  View on GitHub
  Efficient, fair, decentralized Basic Income system for you and your friends.
  ☆25Apr 22, 2017Updated 8 years ago
• lEthDev / Perun

  View on GitHub
  ☆25Jan 18, 2019Updated 7 years ago
• DistributedSky / drone_employee_ros

  View on GitHub
  DroneEmployee ROS stack
  ☆22Oct 25, 2017Updated 8 years ago
• pipermerriam / ethereum-computation-market

  View on GitHub
  A marketplace for trustless off chain computation.
  ☆54Oct 1, 2018Updated 7 years ago
• d11e9 / poi

  View on GitHub
  proof of individuality
  ☆25Oct 1, 2015Updated 10 years ago
• drses / ses

  View on GitHub
  Secure EcmaScript
  ☆48May 29, 2014Updated 11 years ago
• pirapira / eth-isabelle

  View on GitHub
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆242Mar 24, 2022Updated 3 years ago
• Oaken-Innovations / water-meter-acorn

  View on GitHub
  ☆25Dec 20, 2016Updated 9 years ago
• Living-with-machines / dhoxss-text2tech

  View on GitHub
  Materials for the Text to Tech workshop at the Digital Humanities Oxford Summer School
  ☆16Aug 8, 2025Updated 6 months ago
• flowchain / flowchain-hybrid

  View on GitHub
  The fast and light-weight Flowchain hybrid consensus miner. The v0.2.0 public beta aims to build the proof-of-concept proposed by Jollen'…
  ☆12Aug 19, 2024Updated last year
• monkeyscage / PERFECT-EMPTY-DAPP

  View on GitHub
  the perfect empty dapp code, ready to be used!
  ☆57Apr 9, 2018Updated 7 years ago
• ether-camp / ethereum-testing-reference

  View on GitHub
  ☆30Mar 19, 2017Updated 8 years ago
• jolocom / jolocom-sdk

  View on GitHub
  A tool kit for integration with SSI
  ☆32Mar 7, 2023Updated 2 years ago
• consenlabs / carbonvote

  View on GitHub
  ☆29Jul 22, 2016Updated 9 years ago
• ethereum / cbc-casper

  View on GitHub
  ☆229Apr 9, 2019Updated 6 years ago
• BumblebeeBat / FlyingFox

  View on GitHub
  Proof of stake blockchain
  ☆106Aug 10, 2020Updated 5 years ago