Beast code in Giters

Logan Leland's starred repositories

The single instruction C compiler

Language:CNOASSERTION9303 207 40

Embedded language for high-performance array computations

Language:HaskellNOASSERTION892 43 436

A unit test-like interface for fuzzing and symbolic execution

Language:PythonApache-2.0811 58 243

Prime numbers for Coq

Language:CoqLGPL-2.138 3 24

Disassembler for Zeus VM custom instruction set

Language:Python20 20

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

Language:HTMLGPL-2.015 3 2

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

Language:PythonMIT12 3 1

Parsing tools for ARM's ASL

Language:JavaBSD-3-Clause1000

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

Language:Haskell300

Experimental rewrite of the Xyris kernel

Language:C++MIT300