Tag: safety

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked fo ...

The Samhain host-based intrusion detection system (HIDS) provides file integrity checking and log file monitoring/analysis, as ...

All your GPS information in one app. GPS Test shows basic GPS signal (SNR) and satellite information as well as your current l ...

Zamanat Features: Timeline Allows you to instantly inform your dear ones about your present condition. You can add up to five ...

REFUGE finds safe restrooms for transgender, intersex, and gender nonconforming individuals.

Features:

• Tap a map pin to see m ...

F (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes po ...

GlobeInfos is a mobile tracking service : it offers geolocation of vessels, boats, cars, trucks through INMARSAT or IRIDIUM sa ...

Silent Alarm is a free must have Android app for everyone. In an emergency situation, it could save your life. When you dial o ...

Keep your email private. Use different emails for every service you use. Don't give away your personal email to companies, pro ...

Sygate Personal Firewall is a bit old but good firewall for Windows. It uses very small amount of system resources and is qui ...

A web-based project collaboration platform. Basic features: organize discussions, assign and track tasks, store files and note ...

Application Blocker Pro parental software is an application specially created for parents concerned about their childrens comp ...

ANSA is an advanced multidisciplinary CAE pre-processing tool that provides all the necessary functionality for full-model bui ...

The one app for everything in your home. Get your weekends back and stop searching for that fix, user manual, plumber, part, r ...

SophiMail is a fully-featured email and collaboration server, ideal for private hosting: on cloud, on premises or hybrid.

Solv ...

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on value ...

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be ...

What is Hidden? Hidden tracks your missing computer's location, take photos of the user and gathers the evidence required to g ...

SaferPass the best password manager. Upon login, SaferPass can be set up to autofill your sign-in information and passwords. W ...

AIDE (Advanced Intrusion Detection Environment) is a file and directory integrity checker. It creates a database from the regu ...