Galois Field's repositories
astro-ui
Front end for https://app.astrodao.com
Language:TypeScriptMIT000
Blockchain
A repo for my blockchain works and try
Language:Solidity000
catala
Programming language for literate programming law specification
Language:OCamlApache-2.0000
cocorico
Cocorico is an open online voting platform powered by the blockchain.
Language:JavaScriptMIT000
group-theory
The theory of groups
Language:HaskellBSD-3-Clause000
Isomorphic-Reasoning
Isomorphic Reasoning: Counting with Types
Language:TeX000
near-cli
General purpose command line tools for interacting with NEAR Protocol
Language:JavaScriptMIT000
nvm
Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions
Language:ShellMIT000
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
Language:JavaScriptMIT000
sputnik-dao-contract
Smart contracts for https://app.astrodao.com
Language:RustMIT000
witme
Tools for generating to and from wit format
MIT000
