Pinned Repositories
.github
ADAGs
The Argennon Decentralized Autonomous Governance system
apm
The Argennon Prover Machine (APM) is a virtual machine for proving general purpose computation using argument of knowledge systems
argcc
A prototype of the ArgC compiler
argon
The Argon programming language
ascee
C++ implementation of the Argennon smart contract execution environment (AscEE)
csgo
CsGo: Constraint systems with Go
csgot
The implementation of the CsGo transpiler
Argennon's Repositories
Argennon-Project/ADAGs
The Argennon Decentralized Autonomous Governance system
Argennon-Project/argon
The Argon programming language
Argennon-Project/ascee
C++ implementation of the Argennon smart contract execution environment (AscEE)
Argennon-Project/apm
The Argennon Prover Machine (APM) is a virtual machine for proving general purpose computation using argument of knowledge systems
Argennon-Project/argcc
A prototype of the ArgC compiler
Argennon-Project/csgot
The implementation of the CsGo transpiler
Argennon-Project/.github
Argennon-Project/csgo
CsGo: Constraint systems with Go