lunalunaa's Stars
ollama/ollama
Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.
zed-industries/zed
Code at the speed of thought β Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
zellij-org/zellij
A terminal workspace with batteries included
Ciphey/Ciphey
β‘ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes β‘
rust-embedded/rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
tock/tock
A secure embedded operating system for microcontrollers
MrGlockenspiel/activate-linux
The "Activate Windows" watermark ported to Linux
below/HelloSilicon
An introduction to ARM64 assembly on Apple Silicon Macs
hatchet-dev/hatchet
A distributed, fault-tolerant task queue
google/tarpc
An RPC framework for Rust with a focus on ease of use.
lalrpop/lalrpop
LR(1) parser generator for Rust
artichoke/artichoke
π Artichoke is a Ruby made with Rust
LukeMathWalker/cargo-chef
A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.
rust-embedded/discovery
Discover the world of microcontrollers through Rust!
hykilpikonna/hyfetch
π³οΈβπ π³οΈββ§οΈ Neofetch with LGBTQ+ pride flags!
rusty-celery/rusty-celery
π¦ Rust implementation of Celery for producing and consuming background tasks
flux-rs/flux
Refinement Types for Rust
geofmureithi/apalis
Simple, extensible multithreaded background job and message processing library for Rust
devploit/awesome-ctf-resources
A list of Capture The Flag (CTF) frameworks, libraries, resources and software for started/experienced CTF players π©
rrevenantt/antlr4rust
ANTLR4 parser generator runtime for Rust programming laguage
Lakr233/ActivateMac
Show MS Windows style activation dialog on my screen.
rishitsaiya/CTFlearn-Writeups
CTFlearn writeups of all the challenges I have solved. It covers all the domains including Cryptography, Forensics, Reversing, Pwning and other Misc problems.
thehottgame/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
rust-vmm/seccompiler
Provides easy-to-use Linux seccomp-bpf jailing.
AndrasKovacs/cctt
high-performance cubical evaluation
RedPRL/stagedtt
πͺ A Staged Type Theory
litchipi/crabcan
A container written in Rust, for learning purpose
Trebor-Huang/ice1000
π§ A Elbereth Gilthoniel / silivren penna mΓriel! π
nanpuyue/openvpn-socks5
https://hub.docker.com/r/nanpuyue/openvpn-socks5
lunalunaa/elab-rs