Miao ZhiCheng's repositories
yul-dsl-monorepo
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
quickhiring-sol
An on-chain programming contest framework for discovering solidity developers.
certora.nix
Development tooling for Certora Prover.
hw.disassembler
Hellwolf's disassembler using gcc.
real-estate-investment-utils
Personal realestate investment utilities.
.emacs.d
Hellwolf's dot emacs configuration
bin.public
My open sourced scripts.
crytic-compile
Abstraction layer for smart contract build systems
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
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.
hw.muse
Hellwolf's emacs muse based articles utility.
iagoleal.github.io
Personal site and blog
nixos-search
Search NixOS packages and options
nixpkgs
Nix Packages collection
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).
truffle
A tool for developing smart contracts. Crafted with the finest cacaos.