-
-
yul-isabelle Public
Forked from ethereum/yul-isabelleIsabelle BSD 2-Clause "Simplified" License UpdatedFeb 17, 2025 -
announce-zoom-chat-messages Public
Announce new chat messages during a Zoom call.
-
evm-dafny Public
Forked from Consensys/evm-dafnyAn EVM interpreter in Dafny
Dafny Apache License 2.0 UpdatedOct 24, 2024 -
DevmProofGen Public
Forked from DavePearce/DevmProofGenDafny Evm Proof Generator (experimental)
Rust UpdatedMay 30, 2024 -
eth-isabelle Public
Forked from mmalvarez/eth-isabelleA Lem formalization of EVM and some Isabelle/HOL proofs
Isabelle Other UpdatedApr 15, 2024 -
-
itunes_smartplaylist Public
Forked from cvzi/itunes_smartplaylistiTunes Smart playlist parser with Python. Convert to Kodi xsp smart playlists.
Python MIT License UpdatedFeb 23, 2023 -
sidechains-web3j Public
Forked from Consensys/sidechains-web3jLightweight Java and Android library for integration with Ethereum clients
Java Other UpdatedDec 17, 2021 -
AutoMapper Public
Forked from AutoMapper/AutoMapperA convention-based object-object mapper in .NET.
C# MIT License UpdatedSep 8, 2021 -
teku Public
Forked from Consensys/tekuJava Implementation of the Ethereum 2.0 Beacon Chain
Java Apache License 2.0 UpdatedMar 3, 2021 -
sidechains-besu Public
Forked from Consensys/sidechains-besuAn enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
Java Apache License 2.0 UpdatedMar 3, 2021 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedJan 9, 2021 -
go-ethereum Public
Forked from ethereum/go-ethereumOfficial Go implementation of the Ethereum protocol
Go GNU Lesser General Public License v3.0 UpdatedNov 3, 2020 -
turbo-geth Public
Forked from erigontech/erigonGo GNU Lesser General Public License v3.0 UpdatedOct 30, 2020 -
lean-training Public
Forked from inkytonik/lean-trainingLean training materials
Lean UpdatedOct 13, 2020 -
codewitness Public
Forked from Consensys/codewitnessCode Merklization and other approaches to reducing the code contribution to witness size
Java Apache License 2.0 UpdatedJul 2, 2020 -
stateless-ethereum-specs Public
Forked from ethereum/portal-network-specsSpecifications for the Stateless Ethereum research effort
UpdatedMay 13, 2020 -
-
sidechains-samples Public
Forked from Consensys/sidechains-samplesSample code for Atomic Crosschain Transactions
Java Apache License 2.0 UpdatedJan 24, 2020 -
ECC-OCaml Public
Forked from nickgian/ECC-OCamlElliptic Curves Cryptography for OCaml
TeX MIT License UpdatedOct 26, 2019 -
trufflesuite.com Public
Forked from trufflesuite/trufflesuite.comTruffle Suite website source
JavaScript UpdatedApr 12, 2019 -
pantheon Public
Forked from PegaSysEng/pantheonAn enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
Java Apache License 2.0 UpdatedMar 29, 2019 -
customsw-UNI-T-UT81B Public archive
Custom software for multimeters UNI-T UT81B
-
CMock Public
Forked from ThrowTheSwitch/CMockCMock - Mock/stub generator for C
C++ UpdatedFeb 2, 2017 -
Ceedling Public
Forked from ThrowTheSwitch/CeedlingRuby/Rake-based build and test system for C projects
Ruby Other UpdatedFeb 2, 2017 -
toolkit Public
Forked from opendtrace/toolkitThe DTrace Toolkit: A set of scripts for use with DTrace on various systems.
DTrace UpdatedDec 14, 2016 -
simplenote-backup Public
Forked from hiroshi/simplenote-backupBackup simplenote as text files
Python MIT License UpdatedDec 5, 2016 -
-
userthreads Public
Threads implemented on userland with C/POSIX - no assembler
{{ message }}