A fast, lightweight text editor for Markdown, JSON, YAML, and TOML files. Built with Rust and egui for a native, responsive experience.

Claude skills for Lean 4 theorem proving

Lean Theorem Prover MCP

This is a crash course on Agents

JSON for Classic C++

An introduction to theorem proving in Lean for the impatient.

The most minimal cross-platform GUI library

20+ high-performance LLMs with recipes to pretrain, finetune and deploy at scale.

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

A Wasm environment for cross-platform, sandboxed graphical applications.

Cex.C - Comprehensively EXtended C Language

RmlUi - The HTML/CSS User Interface library evolved

stb single-file public domain libraries for C/C++

Extending C with cmacro

Collection of miscellaneous portable C snippets.

eepp is an open source cross-platform game and application development framework heavily focused on the development of rich graphical user interfaces.

Master programming by recreating your favorite technologies from scratch.

Pure standard C99 macro implementation to overload and set optional default parameters of C/C++ functions.

Single-file library for calculating 2D UI layouts using stacking boxes. Compiles as C99 or C++.

The final version of the official 4coder codebase. (See Also: https://github.com/Dion-Systems/4coder-non-source)

A tiny immediate-mode UI library

Self-hosted GPT playground

High-velocity, monorepo-scale workflow for Git

A multimedia sketchpad

Cross-platform C++ SVG-based GUI library

Cross-platform app with unique features for editing and organizing handwritten notes

minimal cross-platform standalone C headers

High performance UI layout library in C.