hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future
@decentral-ee, @superfluid-finance Tallinn, Estonia
Pinned Repositories
.vim
Hellwolf's dot vim configuration
haskell-examples
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).
yul-dsl-monorepo
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
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 a programming frontend Yolc.
hellwolf/haskell-examples
hellwolf/quickhiring-sol
An on-chain programming contest framework for discovering solidity developers.
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/bin.public
My open sourced scripts.
hellwolf/crytic-compile
Abstraction layer for smart contract build systems
hellwolf/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
hellwolf/foundry.nix
Nix overlay for gakonst/foundry (including forge and cast)
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/iagoleal.github.io
Personal site and blog
hellwolf/nixos-search
Search NixOS packages and options
hellwolf/nixpkgs
Nix Packages collection
hellwolf/openvpn-user-management-scripts
hellwolf/org-static-blog
A static site generator using org-mode
hellwolf/sf-gov-update-validator
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/trex-monorepo
T-REX (Toy Reactive Exchange) Monorepo: the toy models, EVM contracts and super app (for superfluid protocol).
hellwolf/truffle
A tool for developing smart contracts. Crafted with the finest cacaos.