ahorn's repositories

android-rss

Lightweight Android library to parse RSS 2.0 feeds.

cpp-channel

Experimental Go-style concurrency for C++11

Language:C++License:NOASSERTIONStargazers:151Issues:9Issues:2

linearizability-checker

Fast linearizability checker

smt-kit

C++11 library for many-sorted logics

Language:C++License:NOASSERTIONStargazers:40Issues:6Issues:0

xv6

A simple Unix-like teaching operating system developed by MIT

Language:CLicense:NOASSERTIONStargazers:40Issues:6Issues:0

native-symbolic-execution-clang

Source-to-source transformation to call native symbolic execution library and SMT Kit

Language:C++Stargazers:32Issues:3Issues:0

benchmarks

A hub for sharing ideas on planning, executing and evaluating benchmarks.

Language:SMTStargazers:9Issues:6Issues:0

spanning-tree-factorization

Algorithm for cyclic factorization of complete graphs into spanning trees with an Euler trail

Language:TeXStargazers:4Issues:2Issues:0

bf-interpreter

BF virtual machine written in C

Language:CStargazers:1Issues:2Issues:0

plan9

UC Berkeley release of Plan 9 under the GPLv2

Language:CLicense:NOASSERTIONStargazers:1Issues:3Issues:0

sup-smt-plugin

SMT plugin to find the supremum of a multiset

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

book

A textbook on informal homotopy type theory

Language:TeXStargazers:0Issues:1Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:2Issues:0

jepsen

Call Me Maybe: simulating network partitions in DBs

Language:ClojureLicense:NOASSERTIONStargazers:0Issues:2Issues:0

klee

KLEE Symbolic Virtual Machine

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

lilos

A wee async RTOS for Cortex-M

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:2Issues:0

MpiDepAnalysis

LLVM analysis to find control dependencies on MPI calls

Language:C++Stargazers:0Issues:2Issues:0

mycelium

🍄 an alleged 'operating system'

License:MITStargazers:0Issues:0Issues:0

nopticon

like a panopticon but for networks

Language:C++License:NOASSERTIONStargazers:0Issues:3Issues:3

octox

Unix-like OS in Rust inspired by xv6-riscv

Stargazers:0Issues:0Issues:0

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.

License:Apache-2.0Stargazers:0Issues:0Issues:0

SSD-pytorch

SSD: Single Shot MultiBox Detector pytorch implementation focusing on simplicity

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

tock

A secure embedded operating system for microcontrollers

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

wabt

The WebAssembly Binary Toolkit

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

xv6-riscv

Xv6 for RISC-V

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

xv6-riscv-book

Text describing xv6 on RISC-V

Language:TeXLicense:NOASSERTIONStargazers:0Issues:1Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

z3test

Test and benchmark repository for Z3.

Language:C#Stargazers:0Issues:2Issues:0