d01c2

llsoftsecbook

Low-Level Software Security for Compiler Developers

dspy

DSPy: The framework for programming—not prompting—foundation models

sai

Staged Abstract Interpreters

awesome-egraphs

An awesome list of e-graph resources

wbDESHook

DLL-injection based solution to Brecht Wyseur's wbDES challenge (based on SysK's Phrack article)

k

K Framework Tools 7.0

estree-toolkit

Tools for working with ESTree AST

harvard_notes

Notes for courses taken at Harvard (2015--2019)

semgrep-rules

A collection of my Semgrep rules to facilitate vulnerability research.

vodozemac

An implementation of Olm and Megolm in pure Rust.

constraint-inference

OCaml implementation of a constraint-based bottom-up type inference algorithm

cse291-program-synthesis-loris

Program synthesis class taught by Loris D'Antoni

plwiki.github.io

type_checker

Constraint solving vs Abstract interpretation

r-nn

Tensor library with autograd using only Rust's standard library

LLM4Decompile

Reverse Engineering: Decompiling Binary Code with Large Language Models

UTBotCpp

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

polytype-rs

A Hindley-Milner polymorphic typing system

powerlevel10k

A Zsh theme

wordeasy

snograJ SC fo snoitalsnarT naeroK ysaE 🇰🇷🗣️

goat

fuzzing

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

netsaur

Powerful Powerful Machine Learning library with GPU, CPU and WASM backends

MIRAI

bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

weval

the WebAssembly partial evaluator

kyber

Advanced crypto library for the Go language

noTunes

A simple macOS application that will prevent iTunes or Apple Music from launching.

rust-gb

Compile Rust code to GBZ80 (Gameboy Z80)

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.