jtpaasch/data-flow-ppa jtpaasch/data-flow-ppa

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jtpaasch/data-flow-ppa
github

jtpaasch

Reviews

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

Repository Details

Data-flow analyses from the PPA book

More Repositories

1

turtles

Abstract interpretation in datalog.
5
star
2

repo.hs

A very basic implementation of git, written in (I hope readable) haskell.
Haskell
3
star
3

baglady

A neurotic data collector.
Python
2
star
4

spin

Spin up VMs quickly and easily. A simple wrapper for vagrant.
C
1
star
5

assets

Walks a directory and compiles a JSON dictionary of all assets/files in the directory.
C
1
star
6

decipher

Simple substitution cipher cracker.
Python
1
star
7

basic-concepts-of-mathematics

Rough draft
TeX
1
star
8

envfile

Loads/unloads variables from a file into the environment.
Shell
1
star
9

bap-kb

Notes on the BAP knowledge base
OCaml
1
star
10

Mildred

A type-safe templating system for PHP, with syntax like Jinja or Twig.
1
star