Stars
Thin wrapper over the Tutanota encrypted email service
yotann / alive2
Forked from AliveToolkit/alive2Automatic verification of LLVM optimizations
Jelly is a recreational programming language inspired by J.
A portable, compact and extensible Scheme implementation to 25 targets. R4RS compliant.
Discussions about projects, technologies, and processes around building large-scale mobile apps
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
GoogleTest - Google Testing and Mocking Framework
Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code
Tools to download and aggregate feeds of vaccination clinic location information in the United States.
Comprehensive, powerful, commercial-quality CBOR encoder/ decoder that is still suited for small devices.
fschoenm / GoldFish
Forked from OneNoteDev/GoldFishJSON/CBOR streaming library, without using memory, like a GoldFish
Centralised repository for WARC usage specifications.
Automatic verification of LLVM optimizations
Ghidra is a software reverse engineering (SRE) framework
High performance, streaming and concurrent functional programming in Haskell
OBSOLETE - replaced with https://github.com/yotann/bcdb
Extracting high level semantic information from binary code