dxo

weird-erc20. weird erc20 tokens

cpp-boilerplate. Simple cpp boilerplate with cmake and gtest

liquidator-contracts. MakerDAO CDP Closing Service

verified-contracts. Solidity

act2. Haskell

klab-init. Klab template and small tutorial

emarketwithcoin. Solidity

tree-sitter-act. tree-sitter parser for the [act](https://github.com/ethereum/act) specification language

stack-lean. Lean

hevm-demo. Solidity

ERC721A. https://ERC721A.org

act-examples. Nix

solc-lean4. Lean

eink-7.5. small eink 7.5 controll script

balancer2. JavaScript

builder. Manage isolated per project build / test environments

actlib. Coq