James R T's Projects
Lean 4 programming language and theorem prover
Lean mathematical components library
libavif - Library for encoding and decoding .avif files
A C library that may be linked into a C/C++ program to produce symbolic backtraces
libc targeted for embedded systems usage. Reduced set of functionality (due to embedded nature). Chosen for portability and quick bringup.
A compact implementation of the Cyphal/CAN protocol in C for high-integrity real-time embedded systems
A unit testing framework for C
C language complearn library
The C++ Standard Library for your entire system.
:herb: Fast streaming XML parser written in C99; migrated from SourceForge to GitHub
A lightweight, secure, easy-to-use crypto library suitable for constrained environments.
Simple C++ geometry processing library.
A cross-platform protocol library to communicate with iOS devices
JPEG XL image format reference implementation
Library for Switch Homebrew
Official mirror of libredwg. With CI hooks and nightly releases. PR's ok
Community-based GPL-licensed network monitoring system
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
C++ library for zkSNARKs
The ultimate socket library for C and C++, supporting TCP, UDP and Unix sockets (DGRAM and STREAM) on Linux, FreeBSD, Solaris. Only ZMQ is better. Developer's documentation:
A modern, portable, easy to use crypto library.
LibSQL is a fork of SQLite that is both Open Source, and Open Contributions.
High-level, multiplatform C++ network packet sniffing and crafting library.
The libtpms library provides software emulation of a Trusted Platform Module (TPM 1.2 and TPM 2.0)
Linux user space library for network socket acceleration based on RDMA compatible network adaptors
The official home of the LibVMI project is at https://github.com/libvmi/libvmi.
ZBC device manipulation library. When submitting a bug report, PLEASE DO NOT SUBMIT CONFIDENTIAL INFORMATION OR INFORMATION SPECIFIC TO DRIVES THAT ARE VENDOR SAMPLES OR NOT PUBLICLY AVAILABLE.
Zoned block device manipulation library and tools
ZeroMQ core engine in C++, implements ZMTP/3.1
LIEF - Library to Instrument Executable Formats