Lists (2)
Stars
The General Mission Analysis Tool (GMAT) is the world's leading enterprise, multi-mission, open source software system for space mission design, optimization, and navigation. The system supports mi…
AI-powered linter for scientific and research Python code.
Real-time pair programming and collaborative editing for Neovim, inspired by VS Code Live Share.
OpenSSF Scorecard - Security health metrics for Open Source
A fast type checker and language server for Python
SnapDragon's solutions for the ACM ICPC World Finals problems.
A repository to backup my competitive programming source code since 2013
Solutions to problems for the 2011 World Finals of the International Collegiate Programming Contest.
Repo dependency analyzer with **blast-radius impact scoring** for AI-assisted development.
SANA: Efficient High-Resolution Image Synthesis with Linear Diffusion Transformer
Open Source Global Intelligence Platform - Real-Time OSINT Dashboard - A Palantir Alternative - We Get 0.5% on Volume Traded 2nZNHm3Lr9umG3DVrzYwHgktwkuKuJRXqqRqs3ewpump
Course material for Differentiable Programming sessions at the 2026 ICCS summer school
A DSL for data-driven computational pipelines
This is the development home of the workflow management system Snakemake. For general information, see
💫 Toolkit to help you get started with Spec-Driven Development
Light, fluffy, and always free - The AWS Local Emulator alternative
Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
The Kokkos Fortran Interop repository contains tools and interfaces which help interactions between Fortran portions of an applications and C++ portions using Kokkos.
Port of OpenAI's Whisper model in C/C++