ianamason

Ian A Mason's repositories

yices2_go_bindings

Golang bindings for yices2

Language:GoMIT3 20

SudokuSensei

Using Yices2 to solve, explain, and teach Sudoku puzzle solving.

Language:PythonCC-BY-4.02 2 2

angr

A powerful and user-friendly binary analysis platform!

Language:PythonBSD-2-Clause010

arels-sudoku-generator

A simple sudoku generator written in Python

Language:PythonMIT000

cFS

The Core Flight System (cFS)

Language:CMakeApache-2.0010

dnspython

a powerful DNS toolkit for python

Language:PythonNOASSERTION010

dyninst

DyninstAPI: Tools for binary instrumentation, analysis, and modification.

Language:CLGPL-2.1010

faq

Frequently asked questions about the Tusky Mastodon client

010

gmp

Go language interface to GMP - GNU Multiprecision Library (golang)

Language:GoBSD-3-Clause010

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLR010

keystone

Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings

Language:C++GPL-2.0010

libpolywantacracker

For doing the last few yards of the travis ordeal.

Language:CLGPL-3.0020

llvm_bc_parsing_example

An LLVM C-API bitcode parsing example

Language:CUnlicense010

lp_solve

Mirror of lp_solve (http://lpsolve.sourceforge.net/5.5/). Please file a bug if code is out of date.

000

markdown-magic

💫 Automatically format markdown files, sync external docs/src code & make better docs

Language:JavaScript010

patchAPI

An attempt at using DynInst's patchAPI

Language:C++010

TLS

For looking into why travis ain't got no TLS :-(

Language:C000

travisty

For futzing with travis.

Language:Shell020

Vagrants

Various boxes for various tasks.

Language:ShellMIT020