Miguel Lemos's repositories
cadCAD-Hacks
The most comprehensive collection of intermediate level cadCAD methodologies on the web. If you're using cadCAD professionally, this is where you pick up the latest tips&tricks.
ethereum-economic-model
A modular dynamical-systems model of Ethereum's validator economics.
awesome-cryptoeconomics
An awesome curated list of Cryptoeconomic research and learning materials
cairo-contracts
OpenZeppelin Contracts written in Cairo for StarkNet, a decentralized ZK Rollup
hardhat-circom
Hardhat plugin to integrate Circom and SnarkJS into your build process.
libfsm
DFA regular expression library & friends
maci
Minimal anti collusion infrastructure
miguelemos
Config files for my GitHub profile
miguelemos.github.io
Personal website
nile
CLI tool to develop StarkNet projects written in Cairo
playtime
Smartphone application that provides a new way of communication between sports athletes
some-places-some-spaces
Personal analog photography website