Efficient SMT-based Bounded Model Checker for C/C++ programs

An open-source dynamic AI model routing framework using a Context-Action-Feedback loop.

A framework for distilling video diffusion models into efficient few-step generators.

A framework that disentangles query-specific reasoning from generic code execution for planning.

Sparsity-Aware Fused Attention for energy-efficient inference on XDNA NPUs.

A massive pre-training-scale corpus and evaluation suite for biology-focused LLMs.

Efficient GPU inference for LLMs with moderate unstructured sparsity.

Graph-Augmented Tree Search for efficient, deterministic agent planning

An OpenID Connect Certified and OAuth 2.0 provider for easy self-hosted authentication using passkeys.

MIT-licensed local desktop AI agent with runtime tool creation and multi-provider support.

Design tool to import and document self-hosted infrastructure via diagrams.

A programming language that compiles to shell scripts.

A Rust implementation of Postgres components aimed at high compatibility with the original database.

Simple and Efficient In-Training Low-Rank Regularization framework for neural network compression.

Tool-augmented deployment for cognitive-structured multimodal agents with persistent memory.

Foundation model for zero-shot tabular prediction via in-context learning

A multi-agent framework for generating executable PoC tests to validate LLM-based bug reports.

A high-performance, cross-platform terminal emulator written in Zig.

Long-horizon human motion control for continuous object transport in robotics.

Vision-Language-Action Optimization with Trajectory Ensemble Voting for robotic manipulation.