Pinned Repositories
AOT
Embedding of The Theory of Abstract Objects in Isabelle/HOL
crampl
The Crazy Metaprogramming Library
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
glgui
3D user interface library.
gpualg
Gpu Algorithms
ktxutils
Utilities for the KTX image format.
pbf
Position based fluid simulation.
xxhashct
Compile time implementation of the 64-bit xxhash algorithm as C++11 constexpr expression.
Yul-Isabelle
Isabelle semantics for the Yul language
solidity
Solidity, the Smart Contract Programming Language
ekpyron's Repositories
ekpyron/xxhashct
Compile time implementation of the 64-bit xxhash algorithm as C++11 constexpr expression.
ekpyron/pbf
Position based fluid simulation.
ekpyron/AOT
Embedding of The Theory of Abstract Objects in Isabelle/HOL
ekpyron/ktxutils
Utilities for the KTX image format.
ekpyron/Yul-Isabelle
Isabelle semantics for the Yul language
ekpyron/crampl
The Crazy Metaprogramming Library
ekpyron/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
ekpyron/glgui
3D user interface library.
ekpyron/gpualg
Gpu Algorithms
ekpyron/luawrapper
A header-only library that can be used for creating lua wrappers for C++ classes.
ekpyron/oglp
C++ wrapper around OpenGL
ekpyron/solidity
Solidity, the Contract-Oriented Programming Language
ekpyron/test
testing repository
ekpyron/yulskers
C++ compile-time Yul string literal parser and templating engine.
ekpyron/z3
The Z3 Theorem Prover
ekpyron/assimp2vf
Model file converter.
ekpyron/devconnect_talk
ekpyron/glutil
OpenGL utilities and utility library
ekpyron/scan_aur_makedepends
Scans through the AUR looking for packages that have a specific makedepend.
ekpyron/solc-js
Javascript bindings for the solidity compiler
ekpyron/solidity-portal
The 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.
ekpyron/sparse_kernel_sampling
ekpyron/truffle
The most popular Ethereum development framework
ekpyron/Vulkan-Hpp
Open-Source Vulkan C++ API
ekpyron/clang_format_always_block_indent
A patch for clang-format adding AlwaysBlockIndent together with a script building static clang binaries.
ekpyron/darts-calculator
Darts calculator mobile webapp with 01, cricket and shootout gamemodes
ekpyron/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
ekpyron/MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
ekpyron/solstdlib
Experiments for a future experimental Solidity Standard Library
ekpyron/v3-core-eof
EOF testing Uniswap V3 code