Simple and fast cubic Bézier curve offsetter

TypeScript-like theorem prover

Hyperglot: a database and tools for detecting language support in fonts

Filter-adapted Spatiotemporal Sampling for Real-Time Rendering

Multi-channel signed distance field generator

Open-source tool for validating application service configurations against defined rules.

Audio playback and capture library written in C, in a single source file.

A launch point for your personal nvim configuration

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

This repo contains the Pipeable iOS SDK. Pipeable is an open-source iOS and (soon) Android SDK that allows developers to programmatically control webviews in mobile apps.

Very low-overhead timer/counter interfaces for C on Intel 64 processors.

Dafny is a verification-aware programming language

Visualize Your Ideas With Code

IBM Fonts in BDF format

A monospace bitmap font.

A small C compiler

mold: A Modern Linker 🦠

Performance-portable, length-agnostic SIMD with runtime dispatch

A 3D pixel-art style shader with clean outlines and edge highlights.

Various sun/sky models, convolution of theta/gamma-parameterised models

Meme generator in Bash

A cross platform app for quick and easy still image camera matching

<charconv> from Microsoft STL, but multi-platform

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …

a small C library for x86 CPU detection and feature extraction

Converts floating point numbers to decimal strings

JUCE is an open-source cross-platform C++ application framework for desktop and mobile applications, including VST, VST3, AU, AUv3, LV2 and AAX audio plug-ins.