Typer, build great CLIs. Easy to code. Based on Python type hints.

A massively parallel, high-level programming language

Python Bindings for the Probabilistic Model Checker Storm

NSGA2, NSGA3, R-NSGA3, MOEAD, Genetic Algorithms (GA), Differential Evolution (DE), CMAES, PSO

Some Yazi flavors maintained by community.

jless is a command-line JSON viewer designed for reading, exploring, and searching through JSON data.

The CSV magician

agent multiplexer that lives in your terminal.

An interactive TUI for Homebrew

Preview file types using rich in Yazi

A lightweight TUI IDE for making quick in-the-moment edits.

PyMuPDF is a high performance Python library for data extraction, analysis, conversion & manipulation of PDF (and other) documents.

SYSMOD Language Extension and Examples for SysML v2

Generalized ADCS is a Python package for SmallSat Attitude Determination and Control Systems (ADCS) development.

High-performance asynchronous computation framework for system simulation

A set of tools to connect to AI agents, to allow them to use Todoist on a user's behalf. Includes MCP support.

MontiCore implementation of the SysML v2 textual notation

SysML v2 Language Server and VS Code extension

Skills for Real Engineers. Straight from my .claude directory.

Git branches made easy

An agentic skills framework & software development methodology that works.

💫 Toolkit to help you get started with Spec-Driven Development

Parallel computing with task scheduling

Space weather indices for python

A framework for mission control

Build your own clan [read-only mirror of https://git.clan.lol/clan/clan-core]

Sampling profiler for Python programs

Convert xlsx/ods format tables to typst tables, powered by wasm.

Open-source scientific and technical publishing system built on Pandoc.

The Concurrent Design Platform Python Software Development Kit that is compliant with ECSS-E-TM-10-25 Annex A and Annex C