List of single-file C/C++ libraries, with emphasis on clause-less licenses.

Mostly adequate guide to FP (in javascript)

Functional pattern implementation for the C3 languaje

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

A unit test-like interface for fuzzing and symbolic execution

Embedded (bare metal) C software timer library

High-throughput Go transaction processor with PostgreSQL analytics, Redis caching, and a query API

A curated list of awesome deterministic simulation testing resources 😎

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input

A CLI writing library for C3

Hypothesis-like property testing for Rust

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input

The C3 Project Orchestrator

An overview of property-based testing functionality

Linux Kernel Programming 2E - published by Packt

Fixedsys Excelsior font with programming ligatures

Fixedsys Core is a love letter to the 'Fixedsys Excelsior' font, an attempt to reinvent the feel and look of a truly unique font for modern high-resolution displays.

CommonMark + GFM compatible Markdown parser and renderer

A monochrome colorscheme for neovim

A Lua port of the Everforest colour scheme

🍨 Soothing pastel theme for Neovim

Nvim Treesitter configurations and abstraction layer

All the UNIX and UNIX-Like: Linux, BSD, macOS, Illumos, 9front, and more.

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

One zig to rule them all.

Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials

The financial transactions database designed for mission critical safety and performance.

"hello world" x86 kernel example

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…