ahorn's repositories
android-rss
Lightweight Android library to parse RSS 2.0 feeds.
cpp-channel
Experimental Go-style concurrency for C++11
linearizability-checker
Fast linearizability checker
native-symbolic-execution-clang
Source-to-source transformation to call native symbolic execution library and SMT Kit
benchmarks
A hub for sharing ideas on planning, executing and evaluating benchmarks.
spanning-tree-factorization
Algorithm for cyclic factorization of complete graphs into spanning trees with an Euler trail
concurrent-error-recovery
Library to recover from concurrent Java runtime exceptions
bf-compiler
32-bit BF compiler written in C
bf-interpreter
BF virtual machine written in C
sup-smt-plugin
SMT plugin to find the supremum of a multiset
lilos
A wee async RTOS for Cortex-M
MpiDepAnalysis
LLVM analysis to find control dependencies on MPI calls
octox
Unix-like OS in Rust inspired by xv6-riscv
SSD-pytorch
SSD: Single Shot MultiBox Detector pytorch implementation focusing on simplicity
xv6-riscv-book
Text describing xv6 on RISC-V