build-once run-anywhere c library

rules-dat for mihomo

Framework for Multiple Major Modes in Emacs (core library)

Connect external monitors to your system via Wifi-Display specification also known as Miracast

Qucs-S is a circuit simulation program with Qt-based GUI

Cross-platform IDE for Dyalog APL

The HTML5 Creation Engine: Create beautiful digital content with the fastest, most flexible 2D WebGL renderer.

Emacs support for direnv which operates buffer-locally

The Common Foreign Function Interface

Smart pointers for the (GNU) C programming language

A minimal, modularized, and machine-independent hardware abstraction layer

Challenges from Category Theory for Programmers

The AI coding agent built for the terminal.

Simple unit testing for C

📚LeetCUDA: Modern CUDA Learn Notes with PyTorch for Beginners🐑, 200+ CUDA Kernels, Tensor Cores, HGEMM, FA-2 MMA.🎉

Structured concurrency in C

This repo is the new home of Proof General

A fast, minimal browser that protects your privacy

LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

Packet, where are you? -- eBPF-based Linux kernel networking debugger

⚓ A collection of JavaScript tools written in Rust.

XLibre Xserver

CUDA on non-NVIDIA GPUs

📚 single header utf8 string functions for C and C++

A PDF processor written in Go.

Generate nix sources expr for the latest version of packages

Emacs X Window Manager

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

A Lean companion to Analysis I