The efficient SMT-based context-bounded model checker (ESBMC)

Conda shim for PyCharm that proxies pixi

Office Compound Engineering plugin for Claude Code, Codex, and more

GraphRAG database - hybrid graph / vector db

An agentic skills framework & software development methodology that works.

https://nemtracker.github.io/

AI agents running research on single-GPU nanochat training automatically

A synced issue tracker CLI for multi-agent AI development

omo; the best agent harness - previously oh-my-opencode

A scientific plotting library in Rust

A collection of production-ready slash commands for Claude Code

Computational library for chemical thermodynamics and phase equilibrium calculation. Multiphysics and standalone estimations of chemical state and constitutive and transport properties.

Open Source Agentic Coding Harness

Graph data structure library for Rust.

A high performance Python graph library implemented in Rust.

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Spec-driven development (SDD) for your team's workflow. Kiro style commands that enforce structured requirements→design→tasks workflow and steering, transforming how you build with AI. Support Clau…

AutoMem is a graph-vector memory service that gives AI assistants durable, relational memory:

Geophysical Inversion and Modeling Library 🌍

A series of Jupyter notebooks showing how to load well log and petrophysical data in python.

A petrophysics python package for geoscience python computing of conventional and unconventional formation evaluation. Reads las files and creates a pandas dataframe of the log data. Includes a bas…

N-dimensional interpolation methods in Rust and Python, no-std compatible

GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

A CLI issue tracker for AI Agents