Linux kernel source tree

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTMP, RTMP…

Inference Llama 2 in one file of pure C

http://torch.ch

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

Mirror of the LuaJIT git repository

Build android apps without any java, entirely in C and Make

NES emulator in <5000 bytes of C

SeaHorn Verification Framework

Web-based music player for a variety of video game and chiptune music formats.

Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

Modular virtual analog software synthesizer and sequencer for 4KB and 64KB intros

GNU Prolog

Implementing coroutines, channels, message passing, etc.

Tool for testing and finding minimal eviction sets

Measuring cmov vs branch-mov performance

Shameless copy of http://swtch.com/libtask/ and/or http://code.google.com/p/libtask/

SMCHR - Satisfiability Modulo Constraint Handling Rules

ICOT PIMOS operating system