NASA PVS Library of Formal Developments

Open Source Intelligence gathering tool aimed at reducing the time spent harvesting information from open sources.

💵 Bigcapital is financial accounting with intelligent reporting for faster decision-making, an open-source alternative to Quickbooks, Xero, etc.

An Open-source LTE Downlink/Uplink Eavesdropper

The text editor designed to make coding as simple and fun as playing a video game

Heritrix is the Internet Archive's open-source, extensible, web-scale, archival-quality web crawler project.

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

The Inter font family

A modern, geometric typeface by @chrismsimpson (last commit @ 85fa625 Jun 9, 2020 before deletion) Removed because of https://discourse.mozilla.org/t/metropolis-font-repo-missing/69415/3

🎨 Generate and change color-schemes on the fly.

k is the new l, yo

Analysis of Bot Protection systems with available countermeasures 🚿. How to defeat anti-bot system 👻 and get around browser fingerprinting scripts 🕵️‍♂️ when scraping the web?

Open-source keyboard firmware for Atmel AVR and Arm USB families

Joy-Con input driver for Linux

A vJoy feeder for the Nintendo Switch JoyCons and Pro Controller

Like jq, but for HTML.

Android Tinfoil/Awoo/GoldLeaf files uploader

A post-modern modal text editor.

Self-hosted music scrobble database to create personal listening statistics and charts

Attack Surface Analyzer can help you analyze your operating system's security configuration for changes during software installation.

Capture Screen, Audio, Cursor, Mouse Clicks and Keystrokes

Style your readme using CSS with this simple trick

Simple and fast note-taking in Chrome with Google Drive support.

user.js -- Firefox configuration hardening

A new (joke) software license

Repository to track the progress in Natural Language Processing (NLP), including the datasets and the current state-of-the-art for the most common NLP tasks.

Android client for https://github.com/cyanomiko/dcnnt-py

IBM Fully Homomorphic Encryption Toolkit For Linux. This toolkit is a Linux based Docker container that demonstrates computing on encrypted data without decrypting it! The toolkit ships with two de…

Reverse engineering focusing on x64 Windows.