hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future
@decentral-ee, @superfluid-finance Tallinn, Estonia
Pinned Repositories
haskell-examples
mk-cache-key.nix
A nix expression to make cache keys for "half board" nix projects.
popsicle-exploit
Using various tools to rediscover popsicle exploit
quickhiring-sol
An on-chain programming contest framework for discovering solidity developers.
solc.nix
Providing assorted versions of solidity compilers (solc).
THSH
A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell
yul-dsl-monorepo
The monorepo of YulDSL (a DSL for Solidity/Yul), and yolc (a safe, expressive, fun language for Ethereum for YulDSL/Haskell).
protocol-monorepo
Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.
hellwolf's Repositories
hellwolf/solc.nix
Providing assorted versions of solidity compilers (solc).
hellwolf/yul-dsl-monorepo
The monorepo of YulDSL (a DSL for Solidity/Yul), and yolc (a safe, expressive, fun language for Ethereum for YulDSL/Haskell).
hellwolf/THSH
A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell
hellwolf/haskell-examples
hellwolf/mk-cache-key.nix
A nix expression to make cache keys for "half board" nix projects.
hellwolf/.vim
Hellwolf's dot vim configuration
hellwolf/certora.nix
Development tooling for Certora Prover.
hellwolf/hw.disassembler
Hellwolf's disassembler using gcc.
hellwolf/real-estate-investment-utils
Personal realestate investment utilities.
hellwolf/.emacs.d
Hellwolf's dot emacs configuration
hellwolf/af-distribution-model
hellwolf/bin.public
My open sourced scripts.
hellwolf/crytic-compile
Abstraction layer for smart contract build systems
hellwolf/echidna
Ethereum smart contract fuzzer
hellwolf/eip-canaries
Canaries that detect EIP availability on chain.
hellwolf/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
hellwolf/github-wiki-utils
Some utilities for working with github wiki git repository.
hellwolf/haskell-tooling.nix
Nix flake for installing haskell tooling.
hellwolf/hevm
symbolic EVM evaluator
hellwolf/hw.kerneltools
Hellwolf's kernel development tools.
hellwolf/hw.muse
Hellwolf's emacs muse based articles utility.
hellwolf/hw.tag
Hellwolf's collection of tagging tool.
hellwolf/nixos-search
Search NixOS packages and options
hellwolf/nixpkgs
Nix Packages collection
hellwolf/openvpn-user-management-scripts
hellwolf/super-attractors
Attractor based ZK Games.
hellwolf/ThreadScope
A graphical tool for profiling parallel Haskell programs
hellwolf/tiny-games-hs
Rules for & examples of tiny haskell games
hellwolf/truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
hellwolf/xerc20-supertoken