ahorn/native-symbolic-execution-clang
Source-to-source transformation to call native symbolic execution library and SMT Kit
Developer Profile
ahorn
Discovered public repositories for ahorn in the GitHub catalog.
ahorn/MpiDepAnalysis
LLVM analysis to find control dependencies on MPI calls
ahorn/cpp-channel
Experimental Go-style concurrency for C++11
ahorn/sup-smt-plugin
SMT plugin to find the supremum of a multiset
ahorn/smt-kit
C++11 library for many-sorted logics
ahorn/benchmarks
A hub for sharing ideas on planning, executing and evaluating benchmarks.
ahorn/xv6
A simple Unix-like teaching operating system developed by MIT
ahorn/bf-compiler
32-bit BF compiler written in C
ahorn/bf-interpreter
BF virtual machine written in C
ahorn/concurrent-error-recovery
Library to recover from concurrent Java runtime exceptions
ahorn/google-codejam
some of my codejam solutions
ahorn/spanning-tree-factorization
Algorithm for cyclic factorization of complete graphs into spanning trees with an Euler trail
ahorn/svg3d
Illustration for Linear Algebra: Rotatable graphics with SVG
ahorn/gonetsync
(Currently incomplete) Paxos implementation in the Go programming language
ahorn/android-rss
Lightweight Android library to parse RSS 2.0 feeds.
ahorn/hangman
Hangman game for introductory Computing course at Magdalen College School