Search Results for "shell replacement"

Lean 4 proofs break silently across versions. Projects built on Lean drift from upstream until one day they simply stop working. Nobody knows why. These are not edge cases. They are the normal experience of working with a proof assistant under rapid development. xLaDe is a research platform that studies these problems and builds tooling to address them. It is not a theorem library, a fork of Lean, or a replacement for any existing tool. It is an ecosystem layer — a controlled environment...

...If you have tons of images you want to resize adaptively to a screen resolution or rotate by an angle using a single command, imgp is the utility for you. It can save a lot on storage too. Powered by multiprocessing, an intelligent adaptive algorithm, recursive operations, shell completion scripts, EXIF preservation (and more), imgp is a very flexible utility with well-documented easy to use options. imgp intends to be a stronger replacement of the Nautilus Image Converter extension, not tied to any file manager and way faster. On desktop environments (like Xfce or LxQt) which do not integrate Nautilus, imgp will save your day.

It is an Portable Penetration Testing Operating System designed for Beagle Bone AI. It is an debian based operating system fully packed with all latest Hacking Tools. The Root file system used in this Deck Linux is Ubuntu 20.04 LTS. It can be installed in Beagle Board AI and can use as a replacement for Laptop, Desktop. It can be placed on a drone too. It has a pre-installed MeshDeck (written by Philip Polstra) so it can be runned in a ZigBee network. We can attacks from up to a mile away...

...This tool is not intended as a replacement for the frameworks for C2 Server (i.e. Meterpreter, Empire, etc..) but this should be used when you land on a fully restricted server where inbound and outbound connections are very limited. In this framework, you will have all the tools needed to privesc, net discovery, and lateral movement as you are typing behind the cmd of the target server.

sysadmin-util is a compact collection of small, practical command-line utilities gathered for everyday system administration tasks. The repository contains a variety of single-purpose scripts that solve common problems such as determining file ages, testing SSH connectivity, checking MySQL slave status, expanding IPv6 addresses, sending metrics to Graphite, and working with IP ranges. The project intentionally keeps the set small and focused, emphasising quality and personal usefulness over...

A performance and usability focused Linux distribution based on 64-bit Debian testing. It is the successor to illume OS. To use the live ISO image, login to "root" with the password "antorca".

SuperOSR is a customized Android version for select devices. Is a replacement for the firmware or "ROM" installed on your smartphone, tablet, media center or another Android device. Is based on the Android Open Source Project and the open source community over the world.

Python Sqlite Shell - a drop-in replacement for the standard sqlite shell (www.sqlite.org), expanded to allow user defined SQL functions to be easily created within the shell or within a SQL script using an in-line python function definition.

Babel.TV started life as a desktop shell and replacement MythTV frontend, aiming to be a light, fast and elegant entertainment platform. It has grown to encompass instant communication, Web services and support for popular playback devices and phones.