pskrgag's Stars
starship/starship
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
zellij-org/zellij
A terminal workspace with batteries included
diimdeep/awesome-split-keyboards
A collection of ergonomic split keyboards ⌨
chipsec/chipsec
Platform Security Assessment Framework
skyzh/mini-lsm
A tutorial of building an LSM-Tree storage engine in a week!
weggli-rs/weggli
weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
BinaryAnalysisPlatform/bap
Binary Analysis Platform
nakst/gf
A GDB frontend for Linux.
nviennot/core-to-core-latency
Measures the latency between CPU cores
csmith-project/csmith
Csmith, a random generator of C programs
nccgroup/exploit_mitigations
Knowledge base of exploit mitigations available across numerous operating systems, architectures and applications and versions.
banach-space/clang-tutor
A collection of out-of-tree Clang plugins for teaching and learning
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
flux-rs/flux
Refinement Types for Rust
learn-llvm/awesome-llvm
A curated list of awesome LLVM (including Clang, etc) related resources.
AmmarAbouZor/tui-journal
Your journal app if you live in a terminal
eurecom-s3/symqemu
SymQEMU: Compilation-based symbolic execution for binaries
raven2cz/awesomewm-config
RAVEN2CZ: AwesomeWM Configuration, Libraries and Themes.
BrianHicks/tree-grepper
Like grep, but uses tree-sitter grammars to search
IAIK/armageddon
This repository contains tools to perform modern cache attacks on ARM.
Jamesbarford/holyc-lang
HolyC compiler
xr0-org/xr0
The Xr0 Verifier for C
joshumax/hurd
Mirror of the GNU Hurd, updated daily
martinradev/gdb-pt-dump
shao-hua-li/UBGen
UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
ej-shafran/compile-mode.nvim
A plugin for Neovim inspired by Emacs' Compilation Mode
trailofbits/vast-checker
vusec/safeinit
SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
dannypsnl/racket-llvm
racket llvm C-API bindings
yonamine/autocheck
Following AUTOSAR guidelines can be easy and free!