Skip to content
View horaceg's full-sized avatar

Block or report horaceg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The HOL Light theorem prover

OCaml 514 89 Updated Mar 23, 2026

A modern Astro theme, focused on content creation.

Astro 148 22 Updated Mar 22, 2026

The Stan transpiler (from Stan to C++ and beyond).

OCaml 154 51 Updated Mar 26, 2026

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

C++ 12,484 2,277 Updated Mar 25, 2026

Git-based headless CMS. Successor to Netlify CMS (now Decap CMS). Modern UX, first-class i18n support, mobile support + 100s of improvements. Framework-agnostic, open source & free.

JavaScript 2,247 129 Updated Mar 30, 2026

The most intuitive Static Site CMS designed for SEO-optimized and privacy-focused websites.

HTML 7,148 456 Updated Mar 25, 2026

Minimal CLI coding agent by Mistral

Python 3,718 396 Updated Mar 26, 2026

Open API Specifications for Elixir Plug applications

Elixir 828 208 Updated Jan 8, 2026

TabICLv2: A state-of-the-art tabular foundation model

Python 684 85 Updated Mar 25, 2026

A minimal, secure Python interpreter written in Rust for use by AI

Rust 6,597 269 Updated Mar 31, 2026

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

JavaScript 123,560 16,233 Updated Mar 31, 2026

A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.

JavaScript 45,719 3,683 Updated Mar 29, 2026

Tidewave for Phoenix

Elixir 803 73 Updated Mar 25, 2026

Lua in Erlang

Erlang 1,169 145 Updated Dec 3, 2025

JAX in JavaScript – ML library for the web, running on WebGPU & Wasm

TypeScript 765 41 Updated Mar 27, 2026

Post-training with Tinker

Python 3,003 363 Updated Mar 31, 2026

Python Data Science Handbook: full text in Jupyter Notebooks

Jupyter Notebook 47,158 18,804 Updated Jun 26, 2024

Peek inside Parquet files right from your terminal

Rust 652 12 Updated Feb 11, 2026

The official repo for “Dolphin: Document Image Parsing via Heterogeneous Anchor Prompting”, ACL, 2025.

Python 8,881 754 Updated Mar 25, 2026

A succinct wrapper for matplotlib

Python 284 23 Updated Mar 31, 2026

An transformer based LLM. Written completely in Rust

Rust 3,092 262 Updated Oct 10, 2025

Vision infrastructure to turn complex documents into RAG/LLM-ready data

Rust 2,938 185 Updated Sep 24, 2025

Pure TypeScript media toolkit for reading, writing, and converting video and audio files, directly in the browser.

TypeScript 5,553 214 Updated Mar 31, 2026

Python lib for Factur-X, the e-invoicing standard for France and Germany

XSLT 280 74 Updated Mar 23, 2026

Graph-based live audio manipulation engine implemented in Python

Python 111 4 Updated Nov 22, 2025

Deep Contextual Video Compression

Python 728 112 Updated Feb 5, 2026

Fast State-of-the-Art Static Embeddings

Python 2,019 119 Updated Mar 28, 2026

Domain Specific Language for the Abstraction and Reasoning Corpus

Python 323 68 Updated Oct 11, 2024

Hierarchical Reasoning Model Official Release

Python 12,377 1,809 Updated Sep 9, 2025

Running Elixir in the browser

Erlang 624 17 Updated Mar 31, 2026
Next