Add hardship to your tests

A Compiler Writing Journey

Simple shell implementation. Tutorial here ->

A text editor in less than 1000 LOC with syntax highlight and search.

Mirror of CMake upstream repository

a fast, scalable, multi-language and extensible build system

Haskell implemented with combinators

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Write your own virtual machine for the LC-3 computer!

An example of how to construct a parser combinator library in C++. Focus on simplicity, not efficiency.

High performance UI layout library in C.

A list of operating systems and stuff

Official doxygen git repository

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Custom CSS theme for doxygen html-documentation with lots of customization parameters.

The Go programming language

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

The VerCors verification toolset for verifying parallel and concurrent software

A high-performance, reasonably robust HTML5 tokenizer

This is a Next.js, Tailwind CSS blogging starter template. Comes out of the box configured with the latest technologies to make technical writing a breeze. Easily configurable and customizable. Per…

A monadic parser combinator library

Industrial-strength monadic parser combinator library

Source tree for the Verified Experimental Kernel Operating System, or VEKOS.

Research prototype tool for modular formal verification of C and Java programs

KLEE in the browser

Main repository of the Vigor NF verification project.

Firmware Analysis Tool

The Z3 Theorem Prover

KLEE Symbolic Execution Engine