Miao ZhiCheng's repositories
yul-dsl-monorepo
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
mk-cache-key.nix
A nix expression to make cache keys for "half board" nix projects.
certora.nix
Development tooling for Certora Prover.
hw.disassembler
Hellwolf's disassembler using gcc.
real-estate-investment-utils
Personal realestate investment utilities.
bin.public
My open sourced scripts.
crytic-compile
Abstraction layer for smart contract build systems
echidna
Ethereum smart contract fuzzer
eip-canaries
Canaries that detect EIP availability on chain.
foundry.nix
Nix overlay for gakonst/foundry (including forge and cast)
github-wiki-utils
Some utilities for working with github wiki git repository.
haskell-tooling.nix
Nix flake for installing haskell tooling.
hw.kerneltools
Hellwolf's kernel development tools.
nixos-search
Search NixOS packages and options
org-static-blog
A static site generator using org-mode
super-attractors
Attractor based ZK Games.
ThreadScope
A graphical tool for profiling parallel Haskell programs
tiny-games-hs
Rules for & examples of tiny haskell games
trex-monorepo
T-REX (Toy Reactive Exchange) Monorepo: the toy models, EVM contracts and super app (for superfluid protocol).