AstralSorcerer's Stars
rust-lang/rust
Empowering everyone to build reliable and efficient software.
godotengine/godot
Godot Engine – Multi-platform 2D and 3D game engine
microsoft/MS-DOS
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
RustPython/RustPython
A Python Interpreter written in Rust
AFLplusplus/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
google/souper
A superoptimizer for LLVM IR
hykilpikonna/hyfetch
🏳️🌈 🏳️⚧️ Neofetch with LGBTQ+ pride flags!
AliveToolkit/alive2
Automatic verification of LLVM optimizations
github/stack-graphs
Rust implementation of stack graphs
anthraxx/linux-hardened
Minimal supplement to upstream Kernel Self Protection Project changes. Features already provided by SELinux + Yama and archs other than multiarch arm64 / x86_64 aren't in scope. Only tags have stable history. Shared IRC channel with KSPP: irc.libera.chat #linux-hardening
xdslproject/xdsl
A Python Compiler Design Toolkit
RocHack/bb
Command line Blackboard client
LucHermitte/lh-misc
URSec/Silhouette
URSec/Kage
opencompl/xdsl-smt
The implementation of an SMTLib dialect for xDSL
bop-langs/cbop
URSec/libSVA
SVA runtime library
URSec/Ombro
Master Repository for Ombro
URSec/SVA-Compiler
LLVM compiler with SVA patches
URSec/Xen
Xen port to SVA