PCC: the Portable C Compiler

NetBSD userlevel portable to other UNIX-like systems

Internal library providing platform independent types, macros and a fallback for environments without LibC.

Fast and lightweight x86/x86-64 disassembler and code generation library

An ongoing attempt to re-engineer LuaJIT from scratch

The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's ticketing system instead.

Prolog interpreter in and for Erlang

A Formal Semantics of WebAssembly in K

K Framework Tools 7.0

Semantics of C in K

vf128 variable length floating-point

Tool for Rigorous Estimation of Round-Off Floating-Point Errors

Automatic verification of LLVM optimizations

Silly usage of AWS EC2 IPv6 prefixes

graph based intermediate representation and backend for optimising compilers

RLibm for 32-bit representations (float and posit32)

A tool to generate approximations of elementary functions that produce the correctly rounded result for all inputs. This tool can be used for different representations that approximate real numbers.

BitMagic Library

A DDR3 memory controller in Verilog for various FPGAs

Code for the paper "Jukebox: A Generative Model for Music"

LLVM-jitted bitmaps

nextpnr portable FPGA place and route tool

rvault: secure and authenticated store for secrets and small documents

pure rust io_uring library, built on libc, thread & async friendly, misuse resistant

the champagne of beta embedded databases

Apps for running with the rumprun unikernel on seL4.

Set up a personal VPN in the cloud

A graphical processor simulator and assembly editor for the RISC-V ISA

open-source jailbreaking tool for many iOS devices