Discover @ahorn Open Source projects

@ahorn

ahorn

Stars
902
Global Rank 33,857 (Top 2 %)
Followers 62
Following 1
Registered about 16 years ago
Most used languages

C++
31.3 %

Java
25.0 %

C
18.8 %

JavaScript
6.3 %

Go
6.3 %

SMT 6.3 %

TeX
6.3 %
Location 🇬🇧 United Kingdom
Country Total Rank 1,668
Country Ranking

SMT 2

Java
134

C++
211

TeX
531

C
648

Go
1,044

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

xv6

A simple Unix-like teaching operating system developed by MIT

smt-kit

C++11 library for many-sorted logics

native-symbolic-execution-clang

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

gonetsync

(Currently incomplete) Paxos implementation in the Go programming language

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

hangman

Hangman game for introductory Computing course at Magdalen College School

svg3d

Illustration for Linear Algebra: Rotatable graphics with SVG

concurrent-error-recovery

Library to recover from concurrent Java runtime exceptions

google-codejam

some of my codejam solutions

sup-smt-plugin

SMT plugin to find the supremum of a multiset

bf-compiler

32-bit BF compiler written in C

bf-interpreter

BF virtual machine written in C