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/HandlERR
This 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 a fork of Checked C's.
the-shank/jobserver
A jobserver for running experiments on test machines and copying results back.
the-shank/leveldb-rs
A reimplementation of LevelDB in Rust (no bindings).
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/LLVMPlayground
LLVM Playground lab
the-shank/lockbud
Statically detect memory, concurrency bugs and possible panic locations for Rust.
the-shank/lsmbum
the-shank/nodegraph
the-shank/rCanary
Rust Leakage Checker (rCanary) repo
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