ianamason Goto Github PK
Name: Ian A Mason
Type: User
Company: SRI International
Bio: Logico Programmus Irritabilis
Location: La Selva Beach, California
Ian A Mason's Projects
angr
A powerful and user-friendly binary analysis platform!
arels-sudoku-generator
A simple sudoku generator written in Python
cfs
The Core Flight System (cFS)
dnspython
a powerful DNS toolkit for python
dyninst
DyninstAPI: Tools for binary instrumentation, analysis, and modification.
faq
Frequently asked questions about the Tusky Mastodon client
gmp
Go language interface to GMP - GNU Multiprecision Library (golang)
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
keystone
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
libpolywantacracker
For doing the last few yards of the travis ordeal.
llvm_bc_parsing_example
An LLVM C-API bitcode parsing example
lp_solve
Mirror of lp_solve (http://lpsolve.sourceforge.net/5.5/). Please file a bug if code is out of date.
markdown-magic
💫 Automatically format markdown files, sync external docs/src code & make better docs
patchapi
An attempt at using DynInst's patchAPI
sudokusensei
Using Yices2 to solve, explain, and teach Sudoku puzzle solving.
tls
For looking into why travis ain't got no TLS :-(
travisty
For futzing with travis.
vagrants
Various boxes for various tasks.
yices2_go_bindings
Golang bindings for yices2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.