Miao ZhiCheng's repositories
nixpkgs
Nix Packages collection
hevm
symbolic EVM evaluator
.emacs.d
Hellwolf's dot emacs configuration
bin.public
My open sourced scripts.
yul-dsl-monorepo
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
crytic-compile
Abstraction layer for smart contract build systems
github-wiki-utils
Some utilities for working with github wiki git repository.
truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
hw.muse
Hellwolf's emacs muse based articles utility.
hw.kerneltools
Hellwolf's kernel development tools.
hw.tag
Hellwolf's collection of tagging tool.
hw.disassembler
Hellwolf's disassembler using gcc.
real-estate-investment-utils
Personal realestate investment utilities.
certora.nix
Development tooling for Certora Prover.
haskell-tooling.nix
Nix flake for installing haskell tooling.
ThreadScope
A graphical tool for profiling parallel Haskell programs
super-attractors
Attractor based ZK Games.
nixos-search
Search NixOS packages and options
tiny-games-hs
Rules for & examples of tiny haskell games
foundry.nix
Nix overlay for gakonst/foundry (including forge and cast)
trex-monorepo
T-REX (Toy Reactive Exchange) Monorepo: the toy models, EVM contracts and super app (for superfluid protocol).
org-static-blog
A static site generator using org-mode
quickhiring-sol
An on-chain programming contest framework for discovering solidity developers.
iagoleal.github.io
Personal site and blog