brnbrnrd's repositories
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
MIT000
OpenTezos
The complete encyclopedia of Tezos
000
000
coq2html
An HTML documentation generator for Coq source files
Language:OCamlGPL-2.0000
multi-token-standard
Ethereum Multi-Token Standard (MTS / ERC-1155)
Language:TypeScriptMIT000
erc-1155
ERC-1155: Smart Contract Sample Implementation
Language:JavaScriptApache-2.0000
opam-depext
Attempt to automate the installation of system packages required by OPAM packages
Language:OCaml000