JSON for Modern C++

Bare-metal Pong Game on Intel i386

DimensionX: Create Any 3D and 4D Scenes from a Single Image with Controllable Video Diffusion

An interface to communicate with Jupyter kernels.

BLIP: non-interactive differentially-private similarity computation on Bloom filters

Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support

Small numerical simulator example

A portable foreign-function interface library.

Prolog, Datalog, languages, resources, and beyond!

Homomorphic Encryption library and applications in Swift

Educational blog posts for Rust beginners

Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.

Nexa SDK is a comprehensive toolkit for supporting ONNX and GGML models. It supports text generation, image generation, vision-language models (VLM), auto-speech-recognition (ASR), and text-to-spee…

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Novel implementation of a Trie data structure optimized for small, sparse maps

Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean

Mirror of https://git.ffmpeg.org/ffmpeg.git

Framework for testing concurrent data structures

A feature-rich command-line audio/video downloader

C Compiler written in Vim script

Nvidia Instruction Set Specification Generator

Modern C++ Terminal Emulator

Interactive, web-based environment for exploring and visualizing TLA+ specifications.

A Code Playground That Just Works!

AWS Encryption SDK Specification

A website that shows the prayer times for a preconfigured list of masjids in a tabular format. Visitors can subscribe for email notifications.

✨ Programming Language Research, Applied PLT & Compilers

A programming framework for agentic AI 🤖