Pinned Repositories
android-rss
Lightweight Android library to parse RSS 2.0 feeds.
benchmarks
A hub for sharing ideas on planning, executing and evaluating benchmarks.
cpp-channel
Experimental Go-style concurrency for C++11
gonetsync
(Currently incomplete) Paxos implementation in the Go programming language
hangman
Hangman game for introductory Computing course at Magdalen College School
linearizability-checker
Fast linearizability checker
native-symbolic-execution-clang
Source-to-source transformation to call native symbolic execution library and SMT Kit
smt-kit
C++11 library for many-sorted logics
spanning-tree-factorization
Algorithm for cyclic factorization of complete graphs into spanning trees with an Euler trail
xv6
A simple Unix-like teaching operating system developed by MIT
ahorn's Repositories
ahorn/android-rss
Lightweight Android library to parse RSS 2.0 feeds.
ahorn/cpp-channel
Experimental Go-style concurrency for C++11
ahorn/linearizability-checker
Fast linearizability checker
ahorn/smt-kit
C++11 library for many-sorted logics
ahorn/xv6
A simple Unix-like teaching operating system developed by MIT
ahorn/native-symbolic-execution-clang
Source-to-source transformation to call native symbolic execution library and SMT Kit
ahorn/benchmarks
A hub for sharing ideas on planning, executing and evaluating benchmarks.
ahorn/spanning-tree-factorization
Algorithm for cyclic factorization of complete graphs into spanning trees with an Euler trail
ahorn/bf-interpreter
BF virtual machine written in C
ahorn/plan9
UC Berkeley release of Plan 9 under the GPLv2
ahorn/sup-smt-plugin
SMT plugin to find the supremum of a multiset
ahorn/book
A textbook on informal homotopy type theory
ahorn/database-stream-processing-theory
Formalization of DBSP
ahorn/hv6
ahorn/jepsen
Call Me Maybe: simulating network partitions in DBs
ahorn/klee
KLEE Symbolic Virtual Machine
ahorn/lilos
A wee async RTOS for Cortex-M
ahorn/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
ahorn/MpiDepAnalysis
LLVM analysis to find control dependencies on MPI calls
ahorn/mycelium
🍄 an alleged 'operating system'
ahorn/nopticon
like a panopticon but for networks
ahorn/octox
Unix-like OS in Rust inspired by xv6-riscv
ahorn/pbrt-v4
Source code to pbrt, the ray tracer described in the forthcoming 4th edition of the "Physically Based Rendering: From Theory to Implementation" book.
ahorn/SSD-pytorch
SSD: Single Shot MultiBox Detector pytorch implementation focusing on simplicity
ahorn/tock
A secure embedded operating system for microcontrollers
ahorn/wabt
The WebAssembly Binary Toolkit
ahorn/xv6-riscv
Xv6 for RISC-V
ahorn/xv6-riscv-book
Text describing xv6 on RISC-V
ahorn/z3
The Z3 Theorem Prover
ahorn/z3test
Test and benchmark repository for Z3.