CharlesCNorton

TimeLens2. TimeLens2: Generalist Video Temporal Grounding with Multimodal LLMs

proof-of-corn. 🌽 Grow corn using AI-driven orchestration, merging technology with agriculture to manage real-world farming from seed to harvest.

X-CASE. Python

coq-in-coq. A formalization of the Calculus of Constructions

edit-distance. Verifying edit distance properties in Rocq.

vmecpp. From-scratch C++ and Python reimplementation of the Variational Moments Equilibrium Code (VMEC).

dirtyfrag. C

ml-intern. 🤗 ml-intern: an open-source ML engineer that reads papers, trains models, and ships ML models

vtr-verilog-to-routing. Verilog to Routing -- Open Source CAD Flow for FPGA Research

Ising-Decoding. A set of training recipes for AI Quantum Error Correction Decoders

reversirocq. A Reversi implementation in Rocq, extracted to C++ via Crane.

riscv. RISC-V CPU Core (RV32IM)

open-arms-mini. open-arms-mini: cheap human like teleoperation device that supports human in the loop corrections

awesome-design-md. A collection of DESIGN.md files analysis by popular brand design systems. Drop one into your project and let coding agents generate a matching UI.

rocqsweeper. A Minesweeper implementation in Rocq, extracted to C++ via Crane.

terminal_rviz. Terminal RViz is a high-performance 3D visualizer for ROS 2 that runs entirely within a terminal environment. Built using FTXUI and a custom Braille-based software renderer, it provides a feature-rich alternative to standard RViz for headless systems, remote SSH sessions, or resource-constrained environments.

codex-plugin-cc. Use Codex from Claude Code to review code or delegate tasks.

rocqman. A Pacman implementation in Rocq, extracted to C++ via Crane.

slang. SystemVerilog compiler and language services

mxfp4-llm. Official implementation for Training LLMs with MXFP4

icepi-zero. An ECP5 FPGA Dev Board in a Pi Zero form

metatheory. Mechanized proofs in Rocq about core Kip: static semantics, dynamic semantics, type soundness, and compile-time overload elaboration.

ssd. A lightweight inference engine supporting speculative speculative decoding (SSD).

game-trees. Functions and proofs about game trees in Rocq, implemented as rose trees.

certirocq. A Verified Compiler for Gallina, Written in Gallina

crane. A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

map-anything. MapAnything: Universal Feed-Forward Metric 3D Reconstruction

GFA-spec. Graphical Fragment Assembly (GFA) Format Specification

genomescope. Fast genome analysis from unassembled short reads

device-activity-tracker. A phone number can reveal whether a device is active, in standby or offline (and more). This PoC demonstrates how delivery receipts + RTT timing leak sensitive device-activity patterns. (WhatsApp / Signal)

z80ai. Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage computer.

NitroGen. A Foundation Model for Generalist Gaming Agents

flatland-rl. The Flatland Framework is a multi-purpose environment to tackle problems around resilient resource allocation under uncertainty. It is designed to be a flexible and method agnostic to solve a wide range of problems in the field of operations research and reinforcement learning.

s3nh-agentic. agentic ai choo choo hype train

SimpleHydrology. Procedural Hydrology / River / Lake Simulation

fiftyone-labs. Python

blip. A tiny DOS‑style tool that gives LLM text the classic RPG “talk blip.”

chemtorch. Modular deep learning framework for chemical reactions :test_tube::fire:

ascend. Ascend - simple, yet fun terminal RPG.

DependentTypesForExtensiveGames. In this repository I present a Coq developement of extensive games using dependent types, together with examples

aftn.ml. A terminal-based OCaml clone of the "ALIEN: Fate of The Nostromo" board game.

EQEmu. A Fan-Driven Server Platform Preserving the Legacy of a Legendary MMORPG for Over Two Decades and Going

VibeVoice. Open-Source Frontier Voice AI

formalizing-game-theory. Example formalization of Game Theoretic concepts in Lean

aurora. Implementation of the Aurora model for Earth system forecasting

OpenPCDet. OpenPCDet Toolbox for LiDAR-based 3D Object Detection.

harmony. Renderer for the harmony response format to be used with gpt-oss

Coq-HoTT. A Coq library for Homotopy Type Theory

Strata. Lean

LeanCopilot. LLMs as Copilots for Theorem Proving in Lean

cuda-fractal-renderer. Quickly render fractals in CUDA

fastmcp. 🚀 The fast, Pythonic way to build MCP servers and clients.

gitvoyant. Temporal Code Intelligence platform. Time-series complexity analysis across Python, JavaScript, Java, and Go. Linear regression trend detection, cyclomatic complexity tracking, confidence scoring, and predictive decay forecasting.

Kimi-K2. Kimi K2 is the large language model series developed by Moonshot AI team

IvoryOS. IvoryOS – Auto-abstraction & runtime for self-driving labs. Turns Python scripts into a visual workflow builder, execution engine, and optimization platform. Designed for scientists and developers.

WorldGen. 🌍 WorldGen - Generate Any 3D Scene in Seconds

wisent. This is an open-source version of the representation engineering framework for stopping harmful outputs or hallucinations on the level of activations. 100% free, self-hosted and open-source.

Goedel-Prover. Python

SpatialLM. [NeurIPS 2025] SpatialLM: Training Large Language Models for Structured Indoor Modeling

stable-virtual-camera. Stable Virtual Camera: Generative View Synthesis with Diffusion Models

Magma. [CVPR 2025] Magma: A Foundation Model for Multimodal AI Agents

fiftyone. Refine high-quality datasets and visual AI models

mattergen. Official implementation of MatterGen -- a generative model for inorganic materials design across the periodic table that can be fine-tuned to steer the generation towards a wide range of property constraints.

genesis-world. Simulation platform for general-purpose robotics & embodied AI learning.

markitdown. Python tool for converting files and office documents to Markdown.

mm0. Metamath Zero specification language

mattersim. MatterSim: A deep learning atomistic model across elements, temperatures and pressures.

coqhammer. CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

documenter. AI documentation generator for GitLab merge requests.

rocq. The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

TinyTroupe. LLM-powered multiagent persona simulation for imagination enhancement and business insights.

Open3DIS. Open3DIS: Open-vocabulary 3D Instance Segmentation with 2D Mask Guidance (CVPR 2024)

HeadStudio. [ECCV 2024] HeadStudio: Text to Animatable Head Avatars with 3D Gaussian Splatting.

Instruct-4D-to-4D. [CVPR2024] Instruct 4D-to-4D: Editing 4D Scenes as Pseudo-3D Scenes Using 2D Diffusion

Subway-Art-Finder. Subway Art Finder

koch-v1-1. A version 1.1 of the Alexander Koch low cost robot arm with some small changes.

vfusion3d. [ECCV 2024] Code for VFusion3D: Learning Scalable 3D Generative Models from Video Diffusion Models

Django-Multisite-Boilerplate. Django Multisite Boilerplate

AI-Video-Examples. Simple AI Templates on Live Video

rosettadrone. MAVlink and H.264 Video for DJI drones

vilma. ViLMA (Vision-Language Model-based Active Monitoring) - A real-time desktop monitoring tool leveraging the Florence-2 vision-language model for efficient content monitoring, security, and productivity enhancement. MIT Licensed.

sam2. The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.

uashield. Voluntary Ukraine security platform to protect us from Russian forces in the Internet

bertviz. BertViz: Visualize Attention in Transformer Models

mistral-finetune. Python

php_replace_short_tags. Converter to replace PHP short open tags (shorttags) with long tags

evennia. Python MUD/MUX/MUSH/MU* development system

TinyLlama. The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.

OS-Copilot. An self-improving embodied conversational agent seamlessly integrated into the operating system to automate our daily tasks.

bark. 🔊 Text-Prompted Generative Audio Model

AICodeBot. CLI tool that generates commit messages from git changes, reviews code for quality issues, and provides debugging assistance. GitHub Action available for automated PR reviews.

mergekit. Tools for merging pretrained large language models.

mistral7B_finetune. fine tuning mistral 7B using Huggingface, Weights and Biases, Choline, and Vast AI

bitsandbytes-windows-webui. Windows compile of bitsandbytes for use in text-generation-webui.