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
bf-interpreter
BF virtual machine written in C
sup-smt-plugin
SMT plugin to find the supremum of a multiset
database-stream-processing-theory
Formalization of DBSP
lilos
A wee async RTOS for Cortex-M
MpiDepAnalysis
LLVM analysis to find control dependencies on MPI calls
mycelium
🍄 an alleged 'operating system'
octox
Unix-like OS in Rust inspired by xv6-riscv
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.
SSD-pytorch
SSD: Single Shot MultiBox Detector pytorch implementation focusing on simplicity
xv6-riscv-book
Text describing xv6 on RISC-V