ekpyron Goto Github PK

aot

Embedding of The Theory of Abstract Objects in Isabelle/HOL

assimp2ctm

Converts meshes from models loadable by the open asset import library to the openctm format.

assimp2vf

Model file converter.

crampl

The Crazy Metaprogramming Library

darts-calculator

Darts calculator mobile webapp with 01, cricket and shootout gamemodes

devconnect_talk

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

glgui

3D user interface library.

glutil

OpenGL utilities and utility library

gpualg

Gpu Algorithms

key_copy

Makes a copy of a key from the key management facility.

keystore

Simple utility for an ecryptfs password storage.

ktxutils

Utilities for the KTX image format.

luawrapper

A header-only library that can be used for creating lua wrappers for C++ classes.

mingw-packages

Package scripts for MinGW-w64 targets to build under MSYS2.

oclp

C++ wrapper around OpenCL

oglp

C++ wrapper around OpenGL

pbf

Position based fluid simulation.

pentachoron

Experimental development repository for a deferred rendering engine.

scan_aur_makedepends

Scans through the AUR looking for packages that have a specific makedepend.

solc-js

Javascript bindings for the solidity compiler

solidity

Solidity, the Contract-Oriented Programming Language

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.

sparse_kernel_sampling

test

testing repository

truffle

The most popular Ethereum development framework

v3-core-eof

EOF testing Uniswap V3 code

vulkan-hpp

Open-Source Vulkan C++ API

xxhashct

Compile time implementation of the 64-bit xxhash algorithm as C++11 constexpr expression.

yul-isabelle

Isabelle semantics for the Yul language