Lightweight GUI for managing Bhyve, Jails, ZFS, networking, and more on FreeBSD

SQL powered operating system instrumentation, monitoring, and analytics.

Framework for building statistical image and shape models

Official implementation for the paper "CoMe: Confidence-Based Mesh Extraction from 3D Gaussians"

Verified Optimizing Compiler for Cryptographic Primitives

SQLite VFS with sub-100ms cold JOIN queries from S3 + page-level compression and encryption

The math library of Lean 4

Call MCPs via TypeScript, masquerading as simple TypeScript API. Or package them as cli.

AutoGaze automatically removes redundant patches in a video, reducing #tokens in ViT/MLLM by 4x-100x.

Beginner, advanced, expert level Rust training material

Fusing 2D Material World Knowledge on 3D Geometry

Godot Engine – Multi-platform 2D and 3D game engine

A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.

You like pytorch? You like micrograd? You love tinygrad! ❤️

Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more

The filesystem for agents.

DSPy: The framework for programming—not prompting—language models

AI agent skills for startup validation, competitive intelligence, and planning — works with Claude Code

Official code of "Generation Models Know Space: Unleashing Implicit 3D Priors for Scene Understanding"

More practical frame interpolation approach.

ECCV2022 - Real-Time Intermediate Flow Estimation for Video Frame Interpolation

[GDGS] A real-time 3D Gaussian Splatting (3DGS) rendering plugin for the Godot Engine. Godot引擎的实时3DGS渲染插件

Reference code for the Slug Algorithm.