Decidable verification of Rust code using relational abstraction.

Tons of Inductive Problems: The Benchmarks

Simon Tatham's Portable Puzzle Collection

Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks; it can perform text wrapping and paragraph line break remov…

The Z3 Theorem Prover

An E-Ink PDA device using the ESP32 S3.

Public repository of the QuickJS Javascript Engine.

The Journal of Open Source Software

Run your GitHub Actions locally 🚀

clangd language server

A CLI interface for Marp and Marpit based converters

C++ preprocessor

Extending and Modifying LAMMPS Writing Your Own Source Code, published by Packt

Sample code illustrating the VS Code extension API.

This is a simple graph database in SQLite, inspired by "SQLite as a document database"

Portable, Serverless & Lightweight SQLite-based Graph Database in Arturo

A SQLite extension for efficient vector search, based on Faiss!

fake keyboard/mouse input, window management, and more

Automatically exported from code.google.com/p/speckletrackerj

16-bit CPU for Excel, and related files

Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C

Bitwarden infrastructure/backend (API, database, Docker, etc).

A library of generic data structures for the C language.

A game designed to let you show off your code-fu by solving problems in the least number of characters.

C doubly linked list

Linux Kernel for Surface Devices

Core Python libraries ported to MicroPython