901.antonagestam / phantom-types
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
- static-typing
- typing
- +5 more
Ranked by Attention Score: stars gained over the last 30 complete days
901–1000 of 1,232 by Attention Score · Oct 5, 2026 – Nov 3, 2026 (UTC)
Phantom types for Python.
OPEM (Open Source PEM Fuel Cell Simulation Tool)
Text::Amuse-based publishing platform
The @vlang language server, for all your editing needs like go-to-definition, code completion, type hints, and more.
DWARF-aware eBPF tracer for source-level userspace tracing - Explore in a TUI or automate with a scriptable CLI
Provides external LTeX file handling (off-spec lsp) and other functions.
A dashboard for running and coordinating multiple AI CLI agents at once.
Tools and apps for GameMaker development: a CLI for pipeline development, a VSCode extension for coding, and more.
A simple C++ 03/11/etc timer class for ~microsecond-precision cross-platform benchmarking. The implementation is as limited and as simple as possible to create the lowest amount of overhead.
Reverse-engineering tool for docker environments
Containerized Development Environment Manager for embedded development
🦎 Githooks: per-repo and shared Git hooks with version control and auto update. [✩Star] if you're using it!
A package manager for the Luau programming language, supporting multiple runtimes including Roblox and Lune
Linter for dangerous Postgres migration patterns in Diesel and SQLx. Prevents downtime caused by unsafe schema changes.
Open remote git repositories in the comfort of Neovim.
Annotation generation framework with support for most languages and annotation styles⌨️✨
See what your AI coding agent is doing. Multi-provider assistant & session monitor for VS Code and the terminal — inline completions, code transforms, and a full TUI dashboard tracking tokens, cost, and context across Claude Code, OpenCode, and Codex. Switch between multiple Claude Code and Codex accounts.
Single user snippet manager web app.
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
Sync MCP servers, Skills, Agents & Commands across Claude Code, Cursor, OpenCode, Codex. One config, all tools.
CLI for managing AI agent squads. Status, memory, goals, feedback, and dashboard for your autonomous agents.
Outcome-based persistent memory MCP server for Claude Code and OpenCode. Good advice promoted, bad advice demoted. pip install roampal.
Sticky note bookmarks for Neovim — per Git branch, with hover annotations, Telescope integration, and one-keystroke handoff to AI assistants
Visual Profiling tool for Love2D using Chromium's tracing tool
Monarch ORM: A type-safe Object Document Mapper (ODM) for MongoDB
Persistent decision memory for AI agents: rationale, rejected approaches, and entity history. Connect any compatible agent through local MCP or the CLI.
🧭 Let your coding agent off the leash — not off the rails. Guardrails, a hard budget cap & a self-fixing PR loop for Claude Code / Codex / Gemini. Eval-gated 100/100, you always merge.
A vibrant Cobalt2 theme for Omarchy featuring deep blue aesthetics with golden accents, perfect for developers who love the iconic VSCode Cobalt2 experience
Deterministic quality scorer for AI agent instruction files — 8-dimension scoring with security, multi-format (SKILL.md, CLAUDE.md, .cursorrules, AGENTS.md), anti-gaming detection, zero dependencies
One isolated Lima VM per GitHub project — sandboxed Claude Code/Codex, Docker, Node, signed git
An autonomous orchestrator for the Copilot Go SDK in Neovim, delivering a native, agentic coding experience.
Local-only observability for AI agents on your machine. One timeline across coding and non-coding agents.
It falls out of your notch. Hotkey, repo, Return: your terminal opens with Claude Code, Codex or any agent already running. Free, MIT, local-only macOS.
Snappy "cursor word" highlighting using modern mechanics for neovim
🛡️ Static security scanner (SAST) for Ansible playbooks, roles, and collections. 1,000+ rules across 30+ categories detecting malicious code, RCE, hardcoded credentials, and supply-chain risk. Outputs SARIF, CycloneDX SBOM, and GitLab SAST. SLSA Build Level 3, Sigstore-signed.
Web Console for Apache Wicket
Keep your secrets out of your AI coding agents. A local HTTPS proxy that swaps real credentials with placeholders and injects them at the network boundary.
List of JavaScript methods which you can use natively + ESLint Plugin
Sourcetrail - free and open-source interactive source explorer
A search tool helps dev to solve the naming things problem.
Go dependency management tool experiment (deprecated)
PHP_CodeSniffer tokenizes PHP files and detects violations of a defined set of coding standards.
The standalone app based on official debugger of React Native, and includes React Inspector / Redux DevTools
Code AI platform with Code Search & Cody
The Swift code generator for your assets, storyboards, Localizable.strings, … — Get rid of all String-based APIs!
An interactive command-line HTTP and API testing client built on top of HTTPie featuring autocomplete, syntax highlighting, and more. https://twitter.com/httpie
AVH Edition of the git extensions to provide high-level repository operations for Vincent Driessen's branching model
🦝 :package: a package registry for anything, but mostly javascript 🦝 🦝 🦝
A non-validating SQL parser module for Python
Registers environment variables from a .env file
JSLint, The JavaScript Code Quality and Coverage Tool
A well-structured production-ready frontend boilerplate with Typescript, React Testing Library, styled-component, React Query, .env, Axios, Bundle Analyzer, Prettier and 30+ plugins. superplate creates projects for React.js, Next.js, and refine. https://pankod.github.io/superplate/
Plugin for some git integration into sublime text
Debug Safari and WebViews on iOS from tools like VS Code and Chrome DevTools
Beautiful and understandable static analysis tool for PHP
A package manager that installs and runs executable Swift packages
Automatically identify anti-patterns in SQL queries
Headless Chromium-based web performance metrics collector and monitoring tool
JavaScript documentation generator for node using markdown and jsdoc
Step-by-step debugging and stack navigation in Pry
This repository is outdated and no longer maintained. A new version of massCode is available! https://github.com/massCodeIO/massCode. A free and open source code snippets manager for developers.
Go implementation of Fowler's Money pattern
Toggl Desktop app for Windows, Mac and Linux
Easy-to-use CUI for fixing git conflicts
JVM Profiler Sending Metrics to Kafka, Console Output or Custom Reporter
MongoDB object-document mapper in Java based on https://github.com/mongodb/mongo-java-driver
MOVED: Please see the new repo at https://github.com/aspnet/blazor
Virtual Environments for Node
A well-structured production ready Next.js boilerplate with Typescript, Redux, Jest, Enzyme, Express.js, Sass, Css, EnvConfig, Fetch, Reverse Proxy, Bundle Analyzer and Built-in Project CLI. https://pankod.github.io/next-boilerplate/
Search and save shell snippets without leaving your terminal
:mega: Help Wanted - Looking for Maintainer: https://github.com/Glavin001/atom-beautify/issues/2572 | :lipstick: Universal beautification package for Atom editor (:warning: Currently migrating to https://github.com/Unibeautify/ and have very limited bandwidth for Atom-Beautify Issues. Thank you for your patience and understanding :heart: )
Create front end projects from templates, add dependencies, and automate the resulting projects
Cross-platform static analyzer and linter for Swift.
simple, intuitive HTTP REPL — Speak HTTP like a local.
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
📦 Terminal assistant to find and install node packages.
:vertical_traffic_light: Check your GraphQL query strings against a schema.
Local and offline-first npm mirror
Cross-platform web development with Visual Studio Code, C#, F#, JavaScript, ASP.NET Core, EF Core, React (ReactJS), Redux, Babel. Single-page application boilerplate.
Source browser website generator that powers https://source.dot.net, https://referencesource.microsoft.com and https://sourceroslyn.io
An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.
Add OAPI/swagger v2.0 compliant documentation to your grape API