A community-maintained Python framework for creating mathematical animations.

🐻 Bear necessities for state management in React

A proof assistant for higher-dimensional type theory

An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/ba…

🧮 Um caminho para a educação autodidata em Matemática!

A simple and fast text editor

C++ programmer's guide to undefined behavior

Odin Programming Language

Language server for Odin

A plugin for Neovim inspired by Emacs' Compilation Mode

a collection of header-only C libraries for data structures and algorithms that I intend to use in advent of code

A GitHub TUI

Neovim file explorer: edit your filesystem like a buffer

A sane, fast, adaptive and themeable status line for Claude Code

Interactive Effect Visualizations

The DUNGEON (Zork I) source

Cellphone Towers in Brazil

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

Welcome to a calmer internet

Resource server used for firefox's automatic updates system

A new lightweight, hybrid routing mesh protocol for packet radios

The fastest and the most accurate file search SDK for AI agents, Neovim, Rust, C, Python, Bun and NodeJS

A small C compiler

Go Training Class Material :

AI-Training Material to learn AI with Go

Go With Your Own Intelligence! Use Go for hardware accelerated local inference with llama.cpp, whisper.cpp, and stable-diffusion.cpp directly integrated into your Go applications. Kronk provides a …

Starter-kit for writing services in Go using Kubernetes.

A CLI tool and REST API that converts web content to clean Markdown, bypassing anti-scraping measures using headless browsers. Perfect for AI/LLM applications