future
🧟 Inject bugs and see if your tests catch them!
Verify that registry crates in your Cargo.lock are reproducible from the git repository
Compiler for the Vale programming language - http://vale.dev/
A list of Free Software network services and web applications which can be hosted on your own servers
Beautiful and accessible math in all browsers
A collection of the best resources for programming, web development, computer science and more.
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
Materiale didattico relativo al corso di "Reti Di Calcolatori" tenuto dal professor Roberto Alfieri presso l'università degli studi di Parma.
I2P is an anonymizing network, offering a simple layer that identity-sensitive applications can use to securely communicate. All data is wrapped with several layers of encryption, and the network i…
A collection of Beamer themes from the community
Notes about tinkering with Android Project Treble
A workshop for cooking up TUIs with Ratatui
An interpreter for Rust's mid-level intermediate representation
High Performance Web Platform Based on Nginx and LuaJIT
Building a modern alternative to Salesforce, powered by the community.
OpenID Connect Support for Plane🔥 🔥 🔥 Open Source JIRA, Linear and Height Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.
Affordable, Multifunctional, Nano RISC-V IP-KVM
aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
A full-featured implementation of the Network Time Protocol, including NTS support.