Unofficial mirror of sourceware glibc repository. Updated daily.

Preloader 'pre-loads' dynamically linked executables to speed up their load times

A key remapping daemon for linux.

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

Darwin/macOS emulation layer for Linux

Blazing 💥 fast terminal-ui for git written in rust 🦀

Command-line sampling profiler for macOS and Linux

A library for visualization and creative-coding

Frontend for magic-trace; forks https://ui.perfetto.dev

Run compilers interactively from your web browser and interact with the assembly

A technical explainer by @kognise of how your computer runs programs, from start to finish.

F# Emacs mode

F# language server using Language Server Protocol

Lock-free data structures for multicore OCaml

Scala examples for Category Theory by Example book

C++ examples for Category Theory by Example book

Haskell examples for Category Theory by Example book

The category theory by example book

Write Markdown with code assist and intelligence in the comfort of your favourite editor.

Emacs completion-style leveraging flx

Public helper code for p423/p523 students (Racket)

The Gillian Platform main repository

A new markup-based typesetting system that is powerful and easy to learn.

DataClassGenerate (or simply DCG) is a Kotlin compiler plugin that addresses an Android APK size overhead from Kotlin data classes.

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

The fast.ai course notebooks

An improved OCaml docset for Dash.

High performance server-side application framework

Verify is a snapshot tool that simplifies the assertion of complex data models and documents.