victoredwardocallaghan Goto Github PK

adt

Abstract Data Types

altix

Altix OS - Linux built with Clang/LLVM.

aperture

atomdis

avr

AVR Microcontroller Educational Projects

bindings-libftdi

bladerf

bladeRF USB 3.0 Superspeed Software Defined Radio Source Code

blaenk.github.io

the source for my personal site, written in Haskell, powered by Hakyll

blog

My blog

book

A book on introducing programming and the foundations of mathematics from scratch by way of homotopy type & category theory.

book-1

A textbook on informal homotopy type theory

cisco_cert_notes

notes for Cisco certification exams

clew

The OpenCL Extension Wrangler Library

clockworkmod_galaxys2_initramfs

GalaxyS II ClockworkMod Initramfs Template

coffeebit

A web store that sells coffee for bitcoin.

congo

I don't even know what this is yet..

cryptol

Cryptol: The Language of Cryptography

cryptol.vim

A ViM plugin for the Cryptol programming language.

cumino

cumino is the Vim's way to prepare Haskell recipies.

cxx_refresher

A referesher in C++ to bring me up to speed in the C++11 standard..

data-structures

Various implementations of data structures in various languages.

dotfiles

My config files.

dpf

DISTRHO Plugin Framework

dragonflybsd

DragonFly Master Repository (clone)

egl-registry

EGL API and Extension Registry

fay-geoposition

flang

Fortran Front-End

fortran.vim

Additional indentation rules for Fortran 95 and Fortran 90

freebsd

FreeBSD src tree

galaxys2_kernel_repack

unpack s2&note kernel and rebuild,thanks :z4mod,Tungstwenty