Lists (6)
Stars
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
A full featured, fast Command Line Argument Parser for Rust
Anki is a smart spaced repetition flashcard program
Commonware Library Primitives and Examples
CV/resume generator for academics and engineers, YAML to PDF
Render markdown on the CLI, with pizzazz! 💅🏻
A massively parallel, high-level programming language
Universal multi-language runner and smart REPL written in Rust.
A Git-compatible VCS that is both simple and powerful
Async Mesh Network Protocol for Extreme Communication -- Innovative, Resilient, and Decentralized
An extremely fast Python type checker and language server, written in Rust.
🔗 Some useful websites for programmers.
Self-Hosting Guide. Learn all about locally hosting (on premises & private web servers) and managing software applications by yourself or your organization. Including Cloud, LLMs, WireGuard, Automa…
Lean 4 programming language and theorem prover
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
Crack WPA/WPA2 Wi-Fi Routers with Airodump-ng and Aircrack-ng/Hashcat
Repo to accompany my mastering LLM engineering course
A terminal workspace with batteries included
real time face swap and one-click video deepfake with only a single image
Chris Titus Tech's Windows Utility - Install Programs, Tweaks, Fixes, and Updates
A little fail-safe filesystem designed for microcontrollers
Lightning-fast and Powerful Code Editor written in Rust
A simple, lightweight PowerShell script to remove pre-installed apps, disable telemetry, as well as perform various other changes to customize, declutter and improve your Windows experience. Win11D…
Mirror of https://gitlab.redox-os.org/redox-os/redox