amtal

CoreErlang

AST, parser, pretty-printer for Core Erlang source code.

blindsight

High-density, terminal-based binary viewer for visual pattern matching.

lfe_utils

Utilities for expressive functional programming on the Erlang VM.

bitspec

Python bit pattern library for instruction encodings. Bytes in, IR out!

i8051

Intel 8051 family architecture plugin for Binary Ninja.

microblaze

μBlaze Architecture Plugin for Binary Ninja

generic

Generic operations on Erlang data types.

soyuz

Haskell compiler/asm/dasm toolkit for DCPU16 architecture.

tweetnacl

Conservative, misuse-resistant crypto in Erlang.

dsl-rapid-proto

Attempt at DSL rapid prototyping with OMetaJS.

amtal.github.com

The internet needs another blog.

droog

pDf Reference Opcodes Or reGisters

bsp

Erlang library for multidimensional, integer-indexed BSP trees.

cache

Transparent high-performance caching of referentially transparent functions.

math

Experimental

smt-experiments

Throwing SMT-LIB (Z3/CVC4) at everything, seeing what sticks.

sudoku

Final project for a discrete structures and algorithms course. Fun to compare then and now, and it's pretty fast!

angerous

angerous

arch-armv7

ARMv7 architecture plugin

clearcrypt

A simple, comprehensible, safe encryption library written in Rust

corona

Reverse engineering SARS-CoV-2

ddk-arm

ddk-fpga

FPGA HDL Sources

dotfiles

Just to make it easier syncing across machines

entropix

Entropy Based Sampling and Parallel CoT Decoding

git-chaff

Generate some Big Data for people to analyze.

nanopass-framework-scheme

The new nanopass framework; an embedded DSL for writing compilers in Scheme

nnop

Nmap service discovery spoofer

PYNQ

Python Productivity for ZYNQ

uy

A typesafe, flexible, simple, and user-friendly unit system library for Rust that has good error messages.