ahorn Goto Github PK

android-rss

Lightweight Android library to parse RSS 2.0 feeds.

benchmarks

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

bf-compiler

32-bit BF compiler written in C

bf-interpreter

BF virtual machine written in C

book

A textbook on informal homotopy type theory

concurrent-error-recovery

Library to recover from concurrent Java runtime exceptions

cpp-channel

Experimental Go-style concurrency for C++11

database-stream-processing-theory

Formalization of DBSP

gonetsync

(Currently incomplete) Paxos implementation in the Go programming language

google-codejam

some of my codejam solutions

hangman

Hangman game for introductory Computing course at Magdalen College School

hv6

jepsen

Call Me Maybe: simulating network partitions in DBs

klee

KLEE Symbolic Virtual Machine

lilos

A wee async RTOS for Cortex-M

linearizability-checker

Fast linearizability checker

llvm

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

mpidepanalysis

LLVM analysis to find control dependencies on MPI calls

mycelium

🍄 an alleged 'operating system'

native-symbolic-execution-clang

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

nopticon

like a panopticon but for networks

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.

plan9

UC Berkeley release of Plan 9 under the GPLv2

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

ssd-pytorch

SSD: Single Shot MultiBox Detector pytorch implementation focusing on simplicity

sup-smt-plugin

SMT plugin to find the supremum of a multiset

svg3d

Illustration for Linear Algebra: Rotatable graphics with SVG

tock

A secure embedded operating system for microcontrollers