Verus verifies the correctness of low-level systems code written in Rust.
Developer Tools
Websites and tools tagged “developer tools”.
Pinokio lets users launch open-source applications with a one-click install workflow.
pyclugen implements the multidimensional cluster generation algorithm in Python.
OpenRabbit reviews GitHub pull requests through GitHub Actions, without requiring separate hosting.
Log files can be highlighted in a terminal using tailspin, a command-line utility.
Edbrowse combines a text editor, browser, and email client in a command-line application.
Kenny Bastani’s blog covers building software, with open source examples and tutorials on microservices and cloud native systems.
HTML and CSS feature support in email clients is documented in Can I Email? through compatibility tables.
The igraph site offers network analysis software and describes igraph as a network analysis package.
Bytecode Viewer is a Java and Android APK reverse engineering suite with decompiling, editing, and debugging tools.
Evaluate web content accessibility with WAVE, a suite of tools that identifies accessibility issues.
Build native interfaces with Slint, a declarative GUI toolkit for Rust, C++, JavaScript, and Python.
For parallel computing in Python, Dask extends familiar tools to handle larger workloads.
This utility converts cURL commands into code for languages including Python and JavaScript.
Manage Procfile-based applications and tmux sessions with overmind, a process manager described in this repository.
A curated collection of servers implementing the Model Context Protocol.
HandyAI offers developer utilities for token counting, prompt analysis, JSON tool use conversion, and cost calculation.
The Luyten interface lets users decompile Java programs using Procyon.
The ml5.js project brings friendly machine learning tools to web projects.
For the Badge generates customizable SVG badges for software projects.
The MCP Inspector provides a visual testing tool for Model Context Protocol servers.
SymPy is a computer algebra system written in pure Python.
dlib provides C++ libraries for image processing, machine learning, and related algorithms.
Neurolink connects AI model providers to applications and includes generation, streaming, voice, RAG, and file processing features.





















