ekpyron

Pinned Repositories

AOT
Embedding of The Theory of Abstract Objects in Isabelle/HOL
Language:Isabelle17 6 10
crampl
The Crazy Metaprogramming Library
Language:C++3 2 00
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
Language:Isabelle2 1 00
glgui
3D user interface library.
Language:C++2 1 00
gpualg
Gpu Algorithms
Language:C++2 5 00
ktxutils
Utilities for the KTX image format.
Language:C7 1 12
pbf
Position based fluid simulation.
Language:C28 8 310
xxhashct
Compile time implementation of the 64-bit xxhash algorithm as C++11 constexpr expression.
Language:C++42 5 24
Yul-Isabelle
Isabelle semantics for the Yul language
Language:Isabelle4 0 01
solidity
Solidity, the Smart Contract Programming Language
Language:C++23.3k 723 6k5.8k

ekpyron's Repositories

ekpyron/assimp2ctm
Converts meshes from models loadable by the open asset import library to the openctm format.
Language:C++1 1 0
ekpyron/key_copy
Makes a copy of a key from the key management facility.
Language:C1 1 0
ekpyron/keystore
Simple utility for an ecryptfs password storage.
Language:C1
ekpyron/oclp
C++ wrapper around OpenCL
Language:Shell1 2 0
ekpyron/pentachoron
Experimental development repository for a deferred rendering engine.
Language:C++1 1 0