amtal/microblaze amtal/microblaze

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Python
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amtal/microblaze
github

amtal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

μBlaze Architecture Plugin for Binary Ninja

More Repositories

1

CoreErlang

AST, parser, pretty-printer for Core Erlang source code.
Haskell
28
star
2

blindsight

High-density, terminal-based binary viewer for visual pattern matching.
C
21
star
3

lfe_utils

Utilities for expressive functional programming on the Erlang VM.
Erlang
17
star
4

erlang-templates

Boilerplate templates for common Erlang OTP behaviors.
JavaScript
17
star
5

bitspec

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

pyrate

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

i8051

Intel 8051 family architecture plugin for Binary Ninja.
Python
10
star
8

generic

Generic operations on Erlang data types.
8
star
9

soyuz

Haskell compiler/asm/dasm toolkit for DCPU16 architecture.
Haskell
8
star
10

folsom_wm

Webmachine HTTP+JSON export of folsom statistics, split from original folsom repo
Erlang
5
star
11

tweetnacl

Conservative, misuse-resistant crypto in Erlang.
C
5
star
12

dsl-rapid-proto

Attempt at DSL rapid prototyping with OMetaJS.
C
3
star
13

amtal.github.com

The internet needs another blog.
HTML
2
star
14

gp-puzzle

Solving a HMM-like puzzle with genetic programming.
Haskell
2
star
15

droog

pDf Reference Opcodes Or reGisters
Python
1
star
16

snippets

Interesting or educational bits of code.
Haskell
1
star
17

unpacker

Haskell library for unpacking unaligned, bit-packed, polymorphic data with only partially known structure.
Haskell
1
star
18

math

Experimental
Erlang
1
star
19

bsp

Erlang library for multidimensional, integer-indexed BSP trees.
Erlang
1
star
20

tables

Haskell library for loading, and simultaneously normalizing/factoring flat featureless CSV tables.
Haskell
1
star
21

literate-opengl

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

smt-experiments

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

sudoku

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

cache

Transparent high-performance caching of referentially transparent functions.
1
star