Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more
Search Results for: essential system tools
Agda – interactive system for writing and checking proofs
Agda is a proof assistant. It is an interactive system for writing and checking proofs.
Read more
reStructuredText – markup syntax and parser system
reStructuredText (often abbreviated as reST) is an easy-to-read, what-you-see-is-what-you-get plaintext markup syntax and parser system.
Read more
Pytomation – extensible automation system written in Python
Pytomation is a lightweight extensible open source automation system written in Python. It is supported on any platform that supports Python.
Read more
Market Analysis System – technical analysis/stock charting software
The Market Analysis System (MAS) is an open-source software application that provides tools for analysis of financial markets using technical analysis.
Read more
Snort – intrusion prevention system
Snort is an open source network intrusion prevention and detection system utilizing a rule-driven language.
Read more
Maltrail – malicious traffic detection system
Maltrail is a malicious traffic detection system, utilizing publicly available (black)lists.
Read more
Cachet – status page system
Cachet is billed as a beautiful and powerful status page system. The software uses the Laravel framework.
Read more
Statusfy – status page system
Statusfy is a Status Page System which lets you create a fast static generated system and easily deploy it to a variety of hosting services.
Read more
Prism Pipeline – animation Pipeline to combine all your tools
Prism is a pipeline focused on VFX and animation projects. It helps users organize projects, automating tasks and simplifying their workflow.
Read more
Pollen – publishing system for content creators
Pollen is a publishing system that helps authors make functional and beautiful digital books.
Read more
PulseAudio – sound system for POSIX OSes
PulseAudio is a cross-platform, networked sound server project. It is intended to be an improved drop-in replacement for the Enlightened Sound Daemon (ESD).
Read more
dsniff – collection of tools for network auditing and penetration testing
dsniff is a collection of tools for network auditing and penetration testing. dsniff, filesnarf, mailsnarf, msgsnarf, urlsnarf, and webspy passively monitor.
Read more
sniffit – CORBA based sniffer system
sniffIt is a Distributed Sniffer System. Capture network traffic from an unique machine using a graphical client application.
Read more
Samhain – host-based intrusion detection system
The Samhain host-based intrusion detection system (HIDS) provides file integrity checking and log file monitoring/analysis.
Read more
aircrack-ng – WiFi security auditing tools suite
aircrack-ng is a complete suite of tools to assess WiFi network security.
Read more
airgeddon – multi-use bash script for Linux systems to audit wireless networks
airgeddon is a multi-use bash script for Linux systems to audit wireless networks. The script offers a wide range of features.
Read more
Tachyon – parallel / multiprocessor ray tracing system
Tachyon is a parallel / multiprocessor ray tracing system.
Read more
GraphicsMagick – Image Processing System
GraphicsMagick is billed as the Swiss army knife of image processing.
Read more
Csound – sound and music computing system
Csound is a domain-specific computer programming language for audio programming. It is called Csound because it is written in C.
Read more