Roberto Pettinau's repositories
beaker
A framework for writing Smart Contracts on Algorand
Language:PythonMIT000
bolt
Bolt is a language with in-built data-race freedom!
Language:OCamlMIT000
c-ares
A C library for asynchronous DNS requests
Language:C++NOASSERTION000
Language:Java000
Language:PythonMIT000
Language:Solidity000
decash-utils
Different utilities for development on top of DeCash.
NOASSERTION000
000
Idris-dev
A Dependently Typed Functional Programming Language
NOASSERTION000
js-algorand-sdk
The official JavaScript SDK for Algorand.
Language:TypeScriptMIT000
lean4
Lean 4 programming language and theorem prover
Apache-2.0000
Language:Python000
Language:Java000
Language:HTML000
rars
RARS -- RISC-V Assembler and Runtime Simulator
Language:JavaNOASSERTION000