-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedFeb 3, 2026 -
-
solc.nix Public
Providing assorted versions of solidity compilers (solc).
-
eip-canaries Public
Canaries that detect EIP availability on chain.
-
-
generic-arbitrary Public
Forked from typeable/generic-arbitraryGeneric method implementations for Arbitrary
Haskell MIT License UpdatedApr 7, 2025 -
hevm Public
Forked from argotorg/hevmsymbolic EVM evaluator
Haskell GNU Affero General Public License v3.0 UpdatedMar 7, 2025 -
semantic-money-demo Public
Semantic Money is a library for building ERC20x features and accounting for asset streaming. It is available in both Solidity and Haskell. This repository is a demo used in the Superfluid Hacker Ho…
Solidity UpdatedMar 4, 2025 -
catbase Public
Catbase is a base library for any categorical eDSL.
-
-
-
THSH Public
A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell
-
af-distribution-model Public
Forked from 0xPilou/af-distribution-modelJupyter Notebook UpdatedSep 19, 2024 -
-
echidna Public
Forked from crytic/echidnaEthereum smart contract fuzzer
Solidity GNU Affero General Public License v3.0 UpdatedJul 17, 2024 -
-
nixos-search Public
Forked from NixOS/nixos-searchSearch NixOS packages and options
Elm UpdatedJun 28, 2024 -
mk-cache-key.nix Public
A nix expression to make cache keys for "half board" nix projects.
-
-
foundry Public
Forked from foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Rust Apache License 2.0 UpdatedJan 16, 2024 -
crytic-compile Public
Forked from crytic/crytic-compileAbstraction layer for smart contract build systems
Python GNU Affero General Public License v3.0 UpdatedAug 7, 2023 -
github-wiki-utils Public
Some utilities for working with github wiki git repository.
Shell MIT License UpdatedAug 2, 2023 -
truffle Public
Forked from ConsenSys-archive/truffleA tool for developing smart contracts. Crafted with the finest cacaos.
-
-
-
-
-
real-estate-investment-utils Public archive
Personal realestate investment utilities.
-
certora.nix Public
Development tooling for Certora Prover.
-
haskell-tooling.nix Public
Nix flake for installing haskell tooling.
Nix MIT License UpdatedApr 23, 2023
{{ message }}