ahorn

Results 6 repositories owned by


                                            ahorn

trafficstars

505

Stars

181

Forks

Watchers

Lightweight Android library to parse RSS 2.0 feeds.

144

Stars

Forks

Watchers

Experimental Go-style concurrency for C++11

Stars

Forks

Watchers

Fast linearizability checker

Stars

Forks

Watchers

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

Stars

Forks

Watchers

C++11 library for many-sorted logics

Stars

Forks

Watchers

A simple Unix-like teaching operating system developed by MIT