Daniel's repositories
solstdlib
Experiments for a future experimental Solidity Standard Library
darts-calculator
Darts calculator mobile webapp with 01, cricket and shootout gamemodes
v3-core-eof
EOF testing Uniswap V3 code
solidity-portal
The Solidity Language Portal is a high-level information page for Solidity, aiming to present consolidated news and making visitors aware of and leading them to relevant other websites.
Yul-Isabelle
Isabelle semantics for the Yul language
luawrapper
A header-only library that can be used for creating lua wrappers for C++ classes.
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
Vulkan-Hpp
Open-Source Vulkan C++ API
MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
scan_aur_makedepends
Scans through the AUR looking for packages that have a specific makedepend.
pentachoron
Experimental development repository for a deferred rendering engine.
assimp2ctm
Converts meshes from models loadable by the open asset import library to the openctm format.