Starred repositories
A Polymorphically Typed Functional Programming Language
Make AI coding agents safe to scale autonomously: assign work, cap spend, enforce policy, verify output, roll back failures, learn from loops, and prove ROI across every repo.
Kan — an experimental language whose one primitive is the universal completion of a partial diagram (README-driven, category-theoretic core).
IntelliJ plugin for the Smithy interface definition language.
Visualize AI/LLM workflows in your codebase.
Analyze the inference of Large Language Models (LLMs). Analyze aspects like computation, storage, transmission, and hardware roofline model in a user-friendly interface.
Rust web framework inspired by Python's FastAPI: type-safe routing, zero-copy parsing, OpenAPI generation, and structured concurrency via asupersync
A MCP server written in C++ that provides AI models and agents with a SysML v2 model as context.
SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact for more details!
Project in Computer Science - SysML 2.0 Viewer in a Browser
Proof-of-concept pilot implementation for the Systems Modeling API and Services.
Pilot implementation of the SysML v2 textual notation and visualization
RepoRescue: Scalpel modernized for Python 3.13 + latest deps (rescue model: codex-xhigh). Unofficial fork.
Nitric is a multi-language framework for cloud applications with infrastructure from code.
AWS SDK for the Rust Programming Language
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…
A build system and monorepo management tool for the web ecosystem, written in Rust.
Server that mimics a Lunar ambient light sensor, with support for multiple lux data sources
macOS command line utility to configure multi-display resolutions and arrangements. Essentially XRandR for macOS.
The Triton backend for the PyTorch TorchScript models.
A zero-to-100 learning path for applied AI engineering — RAG, embeddings, vector search, agents, MCP, and the production engineering around them. 56 pages, built as a searchable site.