-
AOT Public
Embedding of The Theory of Abstract Objects in Isabelle/HOL
-
-
xxhashct Public
Compile time implementation of the 64-bit xxhash algorithm as C++11 constexpr expression.
-
A patch for clang-format adding AlwaysBlockIndent together with a script building static clang binaries.
Shell GNU General Public License v3.0 UpdatedAug 18, 2024 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedAug 18, 2024 -
solstdlib Public
Experiments for a future experimental Solidity Standard Library
Nix GNU General Public License v3.0 UpdatedJul 10, 2024 -
ktxutils Public
Utilities for the KTX image format.
-
-
darts-calculator Public
Forked from jonniek/darts-calculatorDarts calculator mobile webapp with 01, cricket and shootout gamemodes
Vue GNU General Public License v2.0 UpdatedMar 6, 2023 -
v3-core-eof Public
Forked from Uniswap/v3-coreEOF testing Uniswap V3 code
TypeScript Other UpdatedJan 5, 2023 -
solidity-portal Public
Forked from argotorg/solidity-portalThe Solidity Language Portal is a high-level information page for Solidity, aiming to present consolidated news and making visitors aware of and leading them to relevant other websites.
-
-
Yul-Isabelle Public
Forked from mmalvarez/Yul-IsabelleIsabelle semantics for the Yul language
-
-
solidity Public
Forked from argotorg/soliditySolidity, the Contract-Oriented Programming Language
-
-
yulskers Public
C++ compile-time Yul string literal parser and templating engine.
-
luawrapper Public
A header-only library that can be used for creating lua wrappers for C++ classes.
-
eth-isabelle Public
Forked from mmalvarez/eth-isabelleA Lem formalization of EVM and some Isabelle/HOL proofs
-
Vulkan-Hpp Public
Forked from KhronosGroup/Vulkan-HppOpen-Source Vulkan C++ API
-
solc-js Public
Forked from argotorg/solc-jsJavascript bindings for the solidity compiler
-
truffle Public
Forked from ConsenSys-archive/truffleThe most popular Ethereum development framework
-
-
-
-
-
-
MINGW-packages Public
Forked from msys2/MINGW-packagesPackage scripts for MinGW-w64 targets to build under MSYS2.
Shell BSD 3-Clause "New" or "Revised" License UpdatedApr 12, 2015 -
-
scan_aur_makedepends Public
Scans through the AUR looking for packages that have a specific makedepend.
{{ message }}