mimalloc is a compact general purpose allocator with excellent performance.

A library that provides an embeddable, persistent key-value store for fast storage.

Tests for all valid opcodes of the 6502 and 65C02 processor

A minimalist wrapper around the Vulkan API to write easy, portable, and (somewhat) safe compute shaders in C

A simple C Thread pool implementation

Projet de Recherche de L3

Debian for Wondermedia WM8505 Netbooks

Relatively Robust Divide and Conquer 2D Delaunay Construction Algorithm in $O(n \log n)$

Vertex Ordering to List Triangles: a fast C++ tool for triangle counting or listing in big graphs. See associated paper: https://arxiv.org/abs/2203.04774

This is an efficient algorithm for maximal biclique enumeration

book list

Expression transformation language. An esolang.

The Lobster Programming Language

💥💻💥 A data-parallel functional programming language

a BQN implementation in C

Odin Programming Language

Programming Language Theory λΠ

An APL-like programming language

J engine source mirror

UCI Chess Engine written in C

A purely functional programming language with first class types

An abstraction for 2D graphics.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

An operating system written in Common Lisp

A Parser Combinator library for C