victoredwardocallaghan

followers

following

stars

Australia

http://www.haskellers.com/user/edwardocallaghan

Edward O'Callaghan's repositories

openware

Open Courseware.

Language:TeXNOASSERTION6 30

aperture

Language:AdaGPL-2.04 40

hlibBladeRF

Language:HaskellLGPL-2.13 4 4

techair

Language:Rust3 4 1

cryptol.vim

A ViM plugin for the Cryptol programming language.

Language:VimLNOASSERTION2 40

iridium

xmonad with the X11 abstracted and configured with Idris

Language:IdrisMIT2 50

fay-geoposition

Language:HaskellBSD-3-Clause1 30

gopro_fetcher

Language:Rust1 30

hbts

Language:HaskellGPL-2.01 30

bindings-libftdi

Language:HaskellLGPL-2.1030

bladeRF

bladeRF USB 3.0 Superspeed Software Defined Radio Source Code

Language:CNOASSERTION030

blog

My blog

Language:CSS030

clew

The OpenCL Extension Wrangler Library

Language:CNOASSERTION030

Congo

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

Language:HaskellGPL-2.0030

DPF

DISTRHO Plugin Framework

Language:C++NOASSERTION030

DragonFlyBSD

DragonFly Master Repository (clone)

Language:CNOASSERTION040

EGL-Registry

EGL API and Extension Registry

Language:HTML030

harmonics

Language:Makefile030

HaskellDSP

Language:HaskellGPL-2.0030

haskflash

Language:HaskellGPL-2.0030

idiot-kit

Language:C030

idris-vim

Idris mode for vim

Language:VimL000

iso3166-2

Defines codes for identifying the principal subdivisions (e.g., provinces or states) of all countries coded in ISO 3166-1.

030

LearnIdris

Idris - Dependently-Typed Programing Learning Material

MPL-2.0030

linux

Linux kernel source tree

Language:CNOASSERTION030

mesa-GLwork

Language:C030

nixpkgs

Nix Packages collection

Language:NixNOASSERTION030

piglit-work

Language:CNOASSERTION030

source

Mirror of https://git.lede-project.org/?p=source.git Please send your PRs against this tree. They will be merged via staging trees and appear in this tree once the staging trees get merged back into source.git

Language:CGPL-2.0030

victoredwardocallaghan.github.io

Language:CSS030