Lists (1)
Stars
π¦ A curated list of privacy & security-focused software and services
A list of Free Software network services and web applications which can be hosted on your own servers
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.
Better Discord enhances Discord desktop app with new features.
Send push notifications to your phone or desktop using PUT/POST
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
Pure functional programming with whole-program mutability inference
Want to look like a productive developer? With GitHub Filler, you can generate fake commits from a starting date to an end date, filling up your GitHub contribution graph and giving the impression β¦
A static verifier for Rust, based on the Viper verification infrastructure.
βοΈ A friendly language for building type-safe, scalable systems!
Open source neural network chess engine with GPU acceleration and broad hardware support.
A compiler, testing bed, and standard library for the Choral programming language.
A flexible web-based editor, converter, visualization tool, for geospatial data
Spotify for the terminal written in Rust π
a Productive Parallel Programming Language
Burn is a next generation Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
β lichess.org: the forever free, adless and open source chess server β
A free and strong UCI chess engine
π A beautiful, fast and fully open source mail client for Mac, Windows and Linux.
π§ Open source music client! Available for both desktop & mobile!
Inpla: Interaction nets as a programming language (the current version)
A web-first, cross-platform programming language with an optimizing compiler