OliverKillane's Stars
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.
jgraph/drawio
draw.io is a JavaScript, client-side editor for general diagramming.
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
meta-llama/llama3
The official Meta Llama 3 GitHub site
karpathy/llm.c
LLM training in simple, raw C/CUDA
rayon-rs/rayon
Rayon: A data parallelism library for Rust
electronicarts/EASTL
EASTL stands for Electronic Arts Standard Template Library. It is an extensive and robust implementation that has an emphasis on high performance.
odin-lang/Odin
Odin Programming Language
JonathanSalwan/ROPgadget
This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, and RISC-V Compressed architectures.
facebookincubator/velox
A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.
google/security-research
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
theseus-os/Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
xd009642/tarpaulin
A code coverage tool for Rust projects
servo/rust-smallvec
"Small vector" optimization for Rust: store up to a small number of items on the stack
Xilinx/Vitis-Tutorials
Vitis In-Depth Tutorials
dtolnay/trybuild
Test harness for ui tests of compiler diagnostics
nvzqz/static-assertions
Ensure correct assumptions about constants, types, and more in Rust
agda/cubical
An experimental library for Cubical Agda
nvzqz/impls
A Rust macro to determine if a type implements a logical trait expression
dtolnay/ghost
Define your own PhantomData
db-benchmarks/db-benchmarks
Fair database benchmarks framework and datasets
thomcc/ubrustc
Unborrowed Rust Compiler (rustc without a borrowchecker)
fpgacademy/DESim
tangboxuan/college
Study notes
ethanrange/safe-pattern-generation
Type-safe statically unknown pattern generation in MetaOCaml
Emoun/eager
Rust crate for eager macro expansion
xfbs/macrodb
Macro-generated in-memory type-safe relational database for Rust.
r-ushil/swarm-autoscaler
An eBPF Docker Swarm based autoscaler
ConstantinosKoup/verona-rt
The runtime for the Verona project, extended with swapping capabilities
mutatecsharp/mutate-csharp
A semantic-aware C# mutation testing tool.