naturalog/tauchain 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

naturalog/tauchain

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/naturalog/tauchain)

Close

naturalog / tauchainView on GitHubMore

• External links
• Readme badge

idni.org

☆75Dec 17, 2017Updated 8 years ago

Alternatives and similar repositories for tauchain

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

• vindaloo-thesis / idris-se

  View on GitHub
  Idris to Serpent back end for Ethereum smart contracts
  ☆31Sep 14, 2017Updated 8 years ago
• AuroraDAO / dcasset

  View on GitHub
  DCAsset multi-contract token system
  ☆18Oct 9, 2016Updated 9 years ago
• Qoracoin / Qora

  View on GitHub
  Public GIT for the Qora cryptocurrency project.
  ☆43Jun 29, 2024Updated last year
• SoyPay / dacrs

  View on GitHub
  Distributed Autonomous Corporations Runtime System
  ☆30Jan 13, 2017Updated 9 years ago
• ConsenSysMesh / dao-wars

  View on GitHub
  ☆51Nov 10, 2015Updated 10 years ago
• bitshares / bitshares-js

  View on GitHub
  (DEPRECATED) JavaScript tools for BitShares Encryption and Serialization
  ☆25Feb 13, 2018Updated 8 years ago
• SilentCicero / meteor-dapp-pricefeed

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

  View on GitHub
  API for data transmission and retrieval from Monero applications through the Microsoft .NET Framework
  ☆10Jan 16, 2017Updated 9 years ago
• decentropy / BitcoinPiggyBank

  View on GitHub
  Kid friendly bitcoin piggy bank, made with Python(Flask + PyQt QWebView + pybitcointools)
  ☆13Apr 9, 2016Updated 9 years ago
• atcsecure / blocknet

  View on GitHub
  blocknet wallet
  ☆34Jan 1, 2019Updated 7 years ago
• tokenly / tokenly-cms

  View on GitHub
  ☆41Jan 11, 2017Updated 9 years ago
• ziman / idris-py

  View on GitHub
  Python backend for Idris (generates Python source, not bytecode).
  ☆125Oct 23, 2017Updated 8 years ago
• limeburst / cadet

  View on GitHub
  Keyboard controller written in Ivory
  ☆10Mar 3, 2017Updated 9 years ago
• DanielG / rts-loader

  View on GitHub
  Haskell dynamic RTS loader
  ☆13Jun 24, 2016Updated 9 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• BlockchainSource / go-opentimestamps

  View on GitHub
  Go library for opentimestamps.org
  ☆13Sep 2, 2020Updated 5 years ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• nexusdev / elastic-ethereum

  View on GitHub
  Indexes Ethereum contracts with Elasticsearch
  ☆27Dec 30, 2015Updated 10 years ago
• quchen / stackalone

  View on GitHub
  Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed
  ☆10Jun 8, 2017Updated 8 years ago
• EIS-Bonn / BLONDiE

  View on GitHub
  ☆11Sep 13, 2016Updated 9 years ago
• DigixGlobal / sigmate

  View on GitHub
  🔏 Simple Keystore Generator
  ☆12Jan 7, 2019Updated 7 years ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 7 years ago
• thecosmicmarket / bitcoinposterminal

  View on GitHub
  Bitcoin Payment Terminal for Verifone Topaz Sapphire POS
  ☆13Aug 24, 2015Updated 10 years ago
• sdiehl / picologic

  View on GitHub
  Symbolic logic expressions
  ☆15Jul 1, 2020Updated 5 years ago
• Atrix256 / DitherFindGradientDescent

  View on GitHub
  Blog post code
  ☆14Dec 23, 2017Updated 8 years ago
• octalmage / lull

  View on GitHub
  Automatically mute Hulu ads.
  ☆13Nov 20, 2015Updated 10 years ago
• martijnbastiaan / sprockell

  View on GitHub
  Simple processor in Haskell
  ☆11Jul 3, 2015Updated 10 years ago
• rdfruit / general

  View on GitHub
  General information regarding this group.
  ☆12Feb 19, 2018Updated 8 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• wackou / bts_tools

  View on GitHub
  BitShares delegate tools
  ☆30Jun 28, 2019Updated 6 years ago
• pirapira / eth-isabelle

  View on GitHub
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆242Mar 24, 2022Updated 3 years ago
• isovector / jazz

  View on GitHub
  i bet you there is a typesystem behind music
  ☆32Oct 24, 2018Updated 7 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• Licenser / ecrdt

  View on GitHub
  experimenting with CRDTs in erlang
  ☆32Mar 13, 2015Updated 10 years ago
• DavidAJohnston / CrowdsaleBestPractices

  View on GitHub
  Software Digital Token Sale Best Practices
  ☆28Feb 19, 2016Updated 10 years ago
• eml / java-mogilefs

  View on GitHub
  Java client library for MogileFS
  ☆24May 7, 2008Updated 17 years ago
• daviddahl / wut

  View on GitHub
  Libp2p / IPFS terminal-based chat
  ☆14Jan 6, 2023Updated 3 years ago
• jdoughertyii / hott-species

  View on GitHub
  Combinatorial species in HoTT
  ☆12May 23, 2015Updated 10 years ago