Beast code in Giters

Logan Leland's starred repositories

Disassembler for Zeus VM custom instruction set

Language:Python2000

Molecular Oncology Almanac, a clinical interpretation algorithm paired with a novel underlying knowledge base for precision cancer medicine

Language:HTMLGPL-2.01500

A Binary Ninja plugin to help find the addresses and lengths of strings in Rust binaries.

Language:PythonMIT1200

Experimental rewrite of the Xyris kernel

Language:C++MIT300

The single instruction C compiler

Language:CNOASSERTION930300

Prime numbers for Coq

Language:CoqLGPL-2.13800

Embedded language for high-performance array computations

Language:HaskellNOASSERTION89200

Parsing tools for ARM's ASL

Language:JavaBSD-3-Clause1000

Tools for working with the Windows Portable Executable (PE) file format

Language:Haskell300

A unit test-like interface for fuzzing and symbolic execution

Language:PythonApache-2.081100