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 is supported. This note will only be visible to 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 520 92 Updated Apr 15, 2026

A modern Astro theme, focused on content creation.

Astro 147 21 Updated Mar 22, 2026

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

OCaml 156 51 Updated Apr 15, 2026

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

C++ 12,762 2,286 Updated Apr 14, 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,304 134 Updated Apr 15, 2026

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

HTML 7,161 455 Updated Apr 12, 2026

Minimal CLI coding agent by Mistral

Python 3,908 424 Updated Apr 16, 2026

Open API Specifications for Elixir Plug applications

Elixir 829 208 Updated Jan 8, 2026

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

Python 751 95 Updated Mar 25, 2026

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

Rust 6,817 285 Updated Apr 14, 2026

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

JavaScript 158,161 24,589 Updated Apr 16, 2026

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

JavaScript 53,858 4,517 Updated Apr 16, 2026

Tidewave for Phoenix

Elixir 808 73 Updated Apr 15, 2026

Lua in Erlang

Erlang 1,169 147 Updated Dec 3, 2025

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

TypeScript 794 44 Updated Apr 15, 2026

Post-training with Tinker

Python 3,091 383 Updated Apr 16, 2026

Python Data Science Handbook: full text in Jupyter Notebooks

Jupyter Notebook 47,289 18,815 Updated Jun 26, 2024

Peek inside Parquet files right from your terminal

Rust 653 11 Updated Feb 11, 2026

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

Python 8,895 754 Updated Mar 25, 2026

A succinct wrapper for matplotlib

Python 289 24 Updated Apr 16, 2026

An transformer based LLM. Written completely in Rust

Rust 3,102 264 Updated Oct 10, 2025

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

Rust 2,939 183 Updated Apr 9, 2026

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

TypeScript 5,651 218 Updated Apr 16, 2026

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

XSLT 284 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 732 114 Updated Feb 5, 2026

Fast State-of-the-Art Static Embeddings

Python 2,025 120 Updated Apr 14, 2026

Domain Specific Language for the Abstraction and Reasoning Corpus

Python 327 68 Updated Oct 11, 2024

Hierarchical Reasoning Model Official Release

Python 12,386 1,802 Updated Mar 31, 2026

Running Elixir in the browser

Erlang 637 17 Updated Apr 16, 2026
Next