the-shank
Follow
Highlights
- Pro
-
-
awesome-advent-of-code Public
Forked from Bogdanp/awesome-advent-of-codeA collection of awesome resources related to the yearly Advent of Code challenge.
UpdatedMar 3, 2025 -
-
-
repo-quest Public
Forked from cognitive-engineering-lab/repo-questLearn programming concepts through interactive Github tutorials
Rust Apache License 2.0 UpdatedDec 18, 2024 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedOct 27, 2024 -
lockbud Public
Forked from BurtonQin/lockbudStatically detect memory, concurrency bugs and possible panic locations for Rust.
Rust BSD 3-Clause "New" or "Revised" License UpdatedOct 8, 2024 -
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedSep 24, 2024 -
rust-analyzer Public
Forked from rust-lang/rust-analyzerA Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedSep 13, 2024 -
urcrat Public
Forked from kaist-plrg/urcratUnion-Removing C-to-Rust Automatic Translator
Rust MIT License UpdatedAug 25, 2024 -
rust-clippy Public
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Rust Other UpdatedAug 21, 2024 -
nopcrat Public
Forked from kaist-plrg/nopcratNo-Ouput-Parameter C-to-Rust Automatic Translator
-
concrat Public
Forked from kaist-plrg/concratConcurrent-C to Rust Automatic Translator
Rust MIT License UpdatedAug 19, 2024 -
simcrat Public
Forked from kaist-plrg/simcratSignature-Modernizing C-to-Rust Automatic Translator
Rust MIT License UpdatedAug 5, 2024 -
-
-
-
-
jobserver Public
Forked from mark-i-m/jobserverA jobserver for running experiments on test machines and copying results back.
Rust Apache License 2.0 UpdatedJan 19, 2024 -
leveldb-um Public
Forked from google/leveldbLevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
C++ BSD 3-Clause "New" or "Revised" License UpdatedDec 17, 2023 -
slap Public
Forked from adityavardhanpadala/slapA simple screenlapse tool
Rust UpdatedDec 10, 2023 -
-
rustc_plugin Public
Forked from cognitive-engineering-lab/rustc_pluginA framework for writing plugins that integrate with the Rust compiler
Rust MIT License UpdatedNov 19, 2023 -
rust-fuzz-book Public
Forked from rust-fuzz/book📖 Guides and tutorials on how to fuzz Rust code
Shell UpdatedNov 9, 2023 -
-
apt-scraper-utils Public
Forked from Machiry/apt-scraper-utilsUtils to get debian packages
Python UpdatedNov 1, 2023 -
HandlERR Public
Forked from purs3lab/HandlERRThis is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is…
UpdatedNov 1, 2023 -
LLVMPlayground Public
Forked from HolisticSoftwareSecurity/LLVMPlaygroundLLVM Playground lab
LLVM UpdatedOct 18, 2023 -
leveldb-rs Public
Forked from dermesser/leveldb-rsA reimplementation of LevelDB in Rust (no bindings).
Rust Other UpdatedSep 14, 2023