d01c2

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.

ByteCodeDL

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Logos

jessie-wasm

Jessie implementation for WASM

Jessie

Tiny subset of JavaScript for ocap-safe universal mobile code

LaTeX-OCR

pix2tex: Using a ViT to convert images of equations into LaTeX code.