-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
-
-
-
-
-
nixhelm Public
Forked from nix-community/nixhelmThis is a collection of helm charts in a nix-digestable format. [maintainers=@farcaller, @e1senh0rn]
Nix Apache License 2.0 UpdatedJul 12, 2025 -
-
-
-
-
-
-
solidity Public
Forked from argotorg/soliditySolidity, the Contract-Oriented Programming Language
C++ GNU General Public License v3.0 UpdatedJul 22, 2024 -
-
hm-typecheck Public
Forked from mbenke/hm-typecheckExperimental typechecker for a Solidity intermediate language
Haskell UpdatedJul 1, 2024 -
-
-
-
ERC721A Public
Forked from chiru-labs/ERC721Ahttps://ERC721A.org
-
-
open-game-engine Public
Forked from CyberCat-Institute/open-game-engineHaskell implementation of open games
Haskell MIT License UpdatedSep 26, 2023 -
hevm Public
Forked from argotorg/hevmsymbolic EVM evaluator. https://hevm.dev
Haskell GNU Affero General Public License v3.0 UpdatedSep 19, 2023 -
-
-
-
Adv360-Pro-ZMK Public
Forked from KinesisCorporation/Adv360-Pro-ZMKProduction repository for the all-new Advantage360 Professional using ZMK engine
Shell MIT License UpdatedJan 26, 2023 -
svm-rs Public
Forked from alloy-rs/svm-rsSolidity-Compiler Version Manager
Rust Apache License 2.0 UpdatedJun 23, 2022 -
-
{{ message }}