Search Results for "open java projects"

BackAnt CLI is an AI-native backend scaffolding tool designed to generate production-ready Flask APIs from a JSON specification or a small set of CLI commands. Its main goal is to reduce the repetitive work involved in setting up layered backend projects by generating key application components automatically rather than forcing developers to assemble them by hand. The tool creates a structured backend architecture that includes routes, services, repositories, models, startup files, Docker...

simple-modern-uv is a minimal yet production-ready Python project template that uses the uv toolchain to streamline dependency management, virtualenvs, and packaging. It aims to be “small but serious,” giving you the essentials—testing, linting, type checking, formatting, GitHub Actions—without burying you in boilerplate. The layout is opinionated around a pyproject.toml so configuration is centralized and easy to inspect. Defaults encourage good hygiene from day one, including reproducible...

xLaDe is a simple Python-based CLI tool built for executing and preserving Lean 4 projects. It is an ecosystem-level tool, which records the toolchain and other metadata of projects and allows the reconstruction and rebuilding of that exact environment later. Lean 4 undergoes rapid development, which can introduce backward-compatibility issues. This problem becomes more difficult as the versions accumulate over time. xLaDe is built to mitigate the practical issues of...

Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries. Parts of Manticore underpinned our symbolic execution capabilities in the Cyber Grand Challenge. As an open-source tool, we hope that others can take advantage of these capabilities in their own projects. We prioritized simplicity and usability while building Manticore. We used minimal external dependencies and our API should look familiar to anyone with exploitation or reversing background. If you have never used such a tool before, give Manticore a try. ...

Basic command line tool to async scan, detect, stream and control chrome cast devices. Great for pranking someone with a chrome cast device in your local network. Plus there is a GUI version here. https://sourceforge.net/projects/chrome-cut/

SIGAR (System Information Gatherer and Reporter) is a cross-platform, cross-language library and command-line tool for accessing operating system and hardware level information in Java, Perl and .NET.