+
Skip to content
View ThorFuchs's full-sized avatar

Block or report ThorFuchs

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

Starred repositories

Showing results

A flexible, high-performance 3D simulator for Embodied AI research.

C++ 3,228 486 Updated Oct 8, 2025

Lightweight coding agent that runs in your terminal

Rust 47,988 5,792 Updated Oct 17, 2025

An extensible, state of the art columnar file format. Formerly at @spiraldb, now an Incubation Stage project at LFAI&Data, part of the Linux Foundation.

Rust 1,851 76 Updated Oct 17, 2025

A fast, safe, and efficient CBOR serialization library for Swift on any platform.

Swift 27 1 Updated Oct 15, 2025
TypeScript 2 Updated Jul 13, 2025

CHURRO: Making History Readable with an Open-Weight Large Vision-Language Model for High-Accuracy, Low-Cost Historical Text Recognition

Python 9 Updated Oct 2, 2025
Swift 30 1 Updated Oct 13, 2025

Lean documentation authoring tool

JavaScript 225 96 Updated Oct 17, 2025

A project to digitalise results from physics into Lean.

Lean 365 44 Updated Oct 17, 2025

A simple REPL for Lean 4, returning information about errors and sorries.

Lean 162 58 Updated Oct 14, 2025

A Lean library for Computer Science

Lean 144 24 Updated Oct 17, 2025

The math library of Lean 4

Lean 2,448 837 Updated Oct 17, 2025

Swift package to run local LLMs on iOS, macOS, Linux

Swift 114 23 Updated Oct 9, 2025

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP…

C 39,580 6,906 Updated Oct 17, 2025

Tongyi Deep Research, the Leading Open-source Deep Research Agent

Python 16,151 1,212 Updated Oct 17, 2025

GraphBit is the world’s first enterprise-grade Agentic AI framework, built on a Rust core with a Python wrapper for unmatched speed, security, and scalability. It enables reliable multi-agent workf…

Rust 409 77 Updated Oct 17, 2025

⚡ Python-free Rust inference server — OpenAI-API compatible. GGUF + SafeTensors, hot model swap, auto-discovery, single binary. FREE now, FREE forever.

Rust 3,037 214 Updated Oct 13, 2025

"DeepCode: Open Agentic Coding (Paper2Code & Text2Web & Text2Backend)"

Python 7,651 1,081 Updated Oct 11, 2025

Boa is an embeddable Javascript engine written in Rust.

Rust 5,971 460 Updated Oct 17, 2025

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

Python 16,415 1,138 Updated Oct 4, 2025

Free monospaced font with programming ligatures

Clojure 80,331 3,175 Updated Sep 4, 2025

OpenAI-compatible API server for Apple on-device models

Swift 694 46 Updated Oct 2, 2025

MiroMind-M1 is a fully open-source series of reasoning language models built on Qwen-2.5, focused on advancing mathematical reasoning.

Python 236 16 Updated Aug 12, 2025

A Swift library with resultbuilders for Array, Dictionary, Set, String, and Markdown

Swift 2 Updated Jul 30, 2025

ColorfulX is a high-performance library designed for creating vibrant & animated mesh gradient views.

Swift 377 27 Updated Oct 13, 2025

Expressive, robust, feature-rich CSS language built for nodejs

JavaScript 11,310 1,147 Updated Apr 24, 2025

A Swift library for domain-accurate and type-safe HTML & CSS

Swift 23 Updated Sep 26, 2025

⌨️ Add user-customizable global keyboard shortcuts (hotkeys) to your macOS app in minutes

Swift 2,430 222 Updated Sep 18, 2025

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Rust 17,037 1,536 Updated Oct 17, 2025
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载