Giters
ahorn

ahorn

Geek Repo

61

followers

1

following

103

stars

Location:Oxford, UK

Home Page:https://scholar.google.com/citations?user=oISf0GQAAAAJ&hl=en

Github PK Tool:Github PK Tool

Organizations
delta-net

ahorn's starred repositories

fiber

userland threads

Language:C++Stargazers:447Issues:0Issues:0

coroutine

Boost.Coroutine

Language:C++Stargazers:79Issues:0Issues:0

context

Language:AssemblyStargazers:291Issues:0Issues:0

freebsd-src

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

Language:CLicense:NOASSERTIONStargazers:7652Issues:0Issues:0

cutef8

simple, fast C routines for manipulating UTF-8

Language:CStargazers:80Issues:0Issues:0

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:45050Issues:0Issues:0

rw-concurrency

Multiple readers and writers concurrency tests.

Language:JavaStargazers:122Issues:0Issues:0

draft

C++ standards drafts

Language:TeXStargazers:5608Issues:0Issues:0

vim-golang

Github mirror of Go vimscripts, synced with main repository

Language:VimLStargazers:423Issues:0Issues:0

contiki

The official git repository for Contiki, the open source OS for the Internet of Things

Language:CLicense:NOASSERTIONStargazers:3692Issues:0Issues:0

gitflow

Git extensions to provide high-level repository operations for Vincent Driessen's branching model.

Language:ShellLicense:NOASSERTIONStargazers:26591Issues:0Issues:0

creduce

C-Reduce, a C and C++ program reducer

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

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:981Issues:0Issues:0

cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:3Issues:0Issues:0

systemc-2.3

New release of the systemc libraries

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

bmt

Benchmarking Toolkit

Language:PerlStargazers:2Issues:0Issues:0

archblocks

Arch Linux Modular Install Script

Language:ShellStargazers:137Issues:0Issues:0

textmate

TextMate is a graphical text editor for macOS 10.12 or later

Language:Objective-C++License:GPL-3.0Stargazers:14204Issues:0Issues:0

benchmarks

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

Language:SMTStargazers:9Issues:0Issues:0

simavr

simavr is a lean, mean and hackable AVR simulator for linux & OSX

Language:CLicense:GPL-3.0Stargazers:1541Issues:0Issues:0

xv6

A simple Unix-like teaching operating system developed by MIT

Language:CLicense:NOASSERTIONStargazers:41Issues:0Issues:0

autotest

Autotest - Fully automated tests on Linux

Language:PythonLicense:NOASSERTIONStargazers:701Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:174966Issues:0Issues:0

acpica

The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detailed project information and downloads, go to https://www.acpica.org. For ACPICA contributor and source code licensing information, go to

Language:ASLStargazers:457Issues:0Issues:0

cil

C Intermediate Language

Language:OCamlLicense:NOASSERTIONStargazers:348Issues:0Issues:0

bf-compiler

32-bit BF compiler written in C

Language:CLicense:GPL-3.0Stargazers:1Issues:0Issues:0

bf-interpreter

BF virtual machine written in C

Language:CStargazers:1Issues:0Issues:0

concurrent-error-recovery

Library to recover from concurrent Java runtime exceptions

Language:JavaLicense:EPL-1.0Stargazers:2Issues:0Issues:0

google-codejam

some of my codejam solutions

Language:JavaStargazers:1Issues:0Issues:0

arduino-cmake

Arduino CMake Build system

Language:ShellStargazers:645Issues:0Issues:0