ekpyron

xxhashct

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

pbf

Position based fluid simulation.

AOT

Embedding of The Theory of Abstract Objects in Isabelle/HOL

ktxutils

Utilities for the KTX image format.

Yul-Isabelle

Isabelle semantics for the Yul language

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

luawrapper

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

oglp

C++ wrapper around OpenGL

solidity

Solidity, the Contract-Oriented Programming Language

test

testing repository

yulskers

C++ compile-time Yul string literal parser and templating engine.

z3

The Z3 Theorem Prover

assimp2ctm

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

assimp2vf

Model file converter.

devconnect_talk

glutil

OpenGL utilities and utility library

oclp

C++ wrapper around OpenCL

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-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

truffle

The most popular Ethereum development framework

Vulkan-Hpp

Open-Source Vulkan C++ API

darts-calculator

Darts calculator mobile webapp with 01, cricket and shootout gamemodes

MINGW-packages

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

v3-core-eof

EOF testing Uniswap V3 code