@amtal
github

amtal

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    173
  • Global Rank 137,980 (Top 5 %)
  • Followers 43
  • Following 6
  • Registered over 14 years ago
  • Most used languages
    Python
         27.3 %
    Haskell
         27.3 %
    Erlang
         18.2 %
    C
         18.2 %
    HTML
         4.5 %
    JavaScript
         4.5 %

Top 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

microblaze

μBlaze Architecture Plugin for Binary Ninja
Python
9
star
9

generic

Generic operations on Erlang data types.
8
star
10

soyuz

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

folsom_wm

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

tweetnacl

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

dsl-rapid-proto

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

amtal.github.com

The internet needs another blog.
HTML
2
star
15

gp-puzzle

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

droog

pDf Reference Opcodes Or reGisters
Python
1
star
17

snippets

Interesting or educational bits of code.
Haskell
1
star
18

unpacker

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

math

Experimental
Erlang
1
star
20

bsp

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

tables

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

literate-opengl

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

smt-experiments

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

sudoku

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

cache

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