dreday966
Follow
Stars
Repository for the Essential Cardano list
golang library for Cardano network, it is used and maintained by Bitrue(Alonzo compatibled)
The ledger implementation and specifications of the Cardano blockchain.
monyhar / monyhar
Forked from chromium/chromium梦弘浏览器 - 完全自主研发，打破国外垄断，比 Chrome 快 600%。
🎨 The user interface for the Spectrum Finance protocol
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…
Papers from the computer science community to read and discuss.
Addresses and mnemonic manipulation & derivations
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
The core component that is used to participate in a Cardano decentralised blockchain.
👀 Vue in React, React in Vue. Seamless integration of the two. 👯
Gin is a HTTP web framework written in Go (Golang). It features a Martini-like API with much better performance -- up to 40 times faster. If you need smashing performance, get yourself some Gin.
An introduction to programming language theory in Agda
Simple and Powerful ORM for Go, support mysql,postgres,tidb,sqlite3,mssql,oracle, Moved to https://gitea.com/xorm/xorm
Agda is a dependently typed programming language / interactive theorem prover.
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
Semantics of Virtual Machine for IELE prototype blockchain
a reading list for learning to program Bitcoin transactions