Search Results for "bootabile software tools"

FlowLens MCP Server is an open-source tool designed to give AI-powered coding agents (like Claude Code, Cursor, GitHub Copilot / Codex, and others) full, replayable browser context to dramatically improve debugging, bug reporting, and regression testing for web applications. It works together with a companion browser extension: when a user reproduces a bug or a complicated UI interaction, the extension captures a rich session log, including screen/video recording, network traffic, console...

Python framework to analyze Linux crash dumps programmatically from 'crash' and tools written using it. Documentation (a work in progress!) is available at: https://pykdump.readthedocs.io/en/latest/

Existing libraries implement automatic differentiation by tracing a program's execution (at runtime, like PyTorch) or by staging out a dynamic data-flow graph and then differentiating the graph (ahead-of-time, like TensorFlow). In contrast, Tangent performs ahead-of-time autodiff on the Python source code itself, and produces Python source code as its output. Tangent fills a unique location in the space of machine learning tools. As a result, you can finally read your automatic derivative...

This is a port of the GNU C Compiler (GCC) and GNU Binutils (as, ld) for the embedded processor MSP430. Tools for debugging and download are provided (GDB, JTAG and BSL) Obsolete. See http://www.ti.com/tool/msp430-gcc-opensource or upstream GNU tools.

PyChecker is a static analysis tool for finding bugs in Python source code. It finds problems that are typically caught by a compiler for less dynamic languages, like C and C++. It is similar to lint.

This is a command line tool that list all registered occurences of a DLL from the windows registry and allows to unregister them all with regsvr32.

A microkernel operating system distribution offering (among other things) very low hardware requirements, full and easy portability and easy-readable source code.

Mondo: Shared Library Monitor

Proctor is a tool for running unit tests for Python programs. It uses the standard unittest module, and provides a GUI and command line interface for finding and running all tests available in a package or set of packages.

Clint is a testbed for static source-code checking techniques. It is currently designed to check C++ for common programmer errors and suggest improvements.

The Minions programming language makes it easy to write performant, highly parallel programs. Minions are especially good at web apps. Minions like the web.