Stars
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
A mixture of tooling combined to produce JavaScript from OCaml & Reason
A tool for checking the security hardening options of the Linux kernel
A self hosted virtual browser that runs in docker and uses WebRTC.
docTR (Document Text Recognition) - a seamless, high-performing & accessible library for OCR-related tasks powered by Deep Learning.
Interact with your documents using the power of GPT, 100% privately, no data leaks
A new operating system kernel with Linux binary compatibility written in Rust.
A static verifier for Rust, based on the Viper verification infrastructure.
A delightfully tiny but powerful HTTP router for Go web applications
A no_std + serde compatible message library for Rust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Creusot helps you prove your code is correct in an automated fashion.
A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API
You like pytorch? You like micrograd? You love tinygrad! ❤️
ZincSearch . A lightweight alternative to elasticsearch that requires minimal resources, written in Go.
SymSpell: 1 million times faster spelling correction & fuzzy search through Symmetric Delete spelling correction algorithm
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.