amtal Goto Github PK

amtal.github.com

The internet needs another blog.

angerous

angerous

arch-armv7

ARMv7 architecture plugin

bitspec

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

blindsight

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

bsp

Erlang library for multidimensional, integer-indexed BSP trees.

cache

Transparent high-performance caching of referentially transparent functions.

clearcrypt

A simple, comprehensible, safe encryption library written in Rust

coreerlang

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

corona

Reverse engineering SARS-CoV-2

ddk-arm

ddk-fpga

FPGA HDL Sources

dotfiles

Just to make it easier syncing across machines

dsl-rapid-proto

Attempt at DSL rapid prototyping with OMetaJS.

erlang-templates

Boilerplate templates for common Erlang OTP behaviors.

folsom

Expose Events and Metrics via HTTP and JSON

folsom_wm

Webmachine HTTP+JSON export of folsom statistics, split from original folsom repo

generic

Generic operations on Erlang data types.

git-chaff

Generate some Big Data for people to analyze.

gp-puzzle

Solving a HMM-like puzzle with genetic programming.

i8051

Intel 8051 family architecture plugin for Binary Ninja.

lfe_utils

Utilities for expressive functional programming on the Erlang VM.

literate-opengl

A showcase and test of literate programming, while writing an OpenGL program for a course project.

math

Experimental

microblaze

μBlaze Architecture Plugin for Binary Ninja

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

pyrate

Inject a DLL with a Python interpreter into a process, then use pure Python to access process functions and variables!

smt-experiments

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