Pinned Repositories
dev-containers
mirror of https://gitlab.com/shank/dev-container
Dotfiles
mirrored from https://gitlab.com/shank/dotfiles
EH-Miner
Mining Error-Handling Bugs without Error Specification Input
nopcrat
No-Ouput-Parameter C-to-Rust Automatic Translator
utils-rs
Mirror of https://gitlab.com/shank/utils-rs
the-shank's Repositories
the-shank/Dotfiles
mirrored from https://gitlab.com/shank/dotfiles
the-shank/nopcrat
No-Ouput-Parameter C-to-Rust Automatic Translator
the-shank/dev-containers
mirror of https://gitlab.com/shank/dev-container
the-shank/utils-rs
Mirror of https://gitlab.com/shank/utils-rs
the-shank/apt-scraper-utils
Utils to get debian packages
the-shank/awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
the-shank/bashlib
Mirror of https://gitlab.com/shank/bashlib
the-shank/cargo
The Rust package manager
the-shank/concrat
Concurrent-C to Rust Automatic Translator
the-shank/ephemeral-dir
the-shank/jobserver
A jobserver for running experiments on test machines and copying results back.
the-shank/leetcode-company-wise-problems
Lists of company wise questions available on leetcode premium. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode company tags. Updated as of 20 June, 2025
the-shank/leveldb-um
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
the-shank/lockbud
Statically detect memory, concurrency bugs and possible panic locations for Rust.
the-shank/mlir-beginner-friendly-tutorial
This is a beginner-friendly tutorial on MLIR from the perspective of a user of MLIR, not a compiler engineer. This tutorial will introduce why MLIR exists and how it is used to compile code at different levels of abstraction. This tutorial will focus on working with the "core" dialects of MLIR.
the-shank/nodegraph
the-shank/repo-quest
Learn programming concepts through interactive Github tutorials
the-shank/rqst-async
the-shank/ruspatch
the-shank/rust
Empowering everyone to build reliable and efficient software.
the-shank/rust-analyzer
A Rust compiler front-end for IDEs
the-shank/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
the-shank/rust-fuzz-book
📖 Guides and tutorials on how to fuzz Rust code
the-shank/rustc-analysis-template
the-shank/rustc-tool-template
the-shank/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
the-shank/simcrat
Signature-Modernizing C-to-Rust Automatic Translator
the-shank/slap
A simple screenlapse tool
the-shank/urcrat
Union-Removing C-to-Rust Automatic Translator
the-shank/Yuga
Repository for ICSE 2024 submission