victoredwardocallaghan

Australia

Pinned Repositories

aperture
Language:Ada4 4 02
coffeebit
A web store that sells coffee for bitcoin.
Language:Haskell3 4 00
cryptol.vim
A ViM plugin for the Cryptol programming language.
Language:Vim Script2 4 03
dotfiles
My config files.
Language:JavaScript20
haskell_book
2 3 00
hlibBladeRF
Language:Haskell3 4 42
iridium
xmonad with the X11 abstracted and configured with Idris
Language:Idris2 5 00
openware
Open Courseware.
Language:TeX6 3 03
techair
Language:Rust3 4 11

victoredwardocallaghan's Repositories

victoredwardocallaghan/openware
Open Courseware.
Language:TeX6 3 03
victoredwardocallaghan/aperture
Language:Ada4 4 02
victoredwardocallaghan/hlibBladeRF
Language:Haskell3 4 42
victoredwardocallaghan/techair
Language:Rust3 4 11
victoredwardocallaghan/cryptol.vim
A ViM plugin for the Cryptol programming language.
Language:Vim Script2 4 03
victoredwardocallaghan/fay-geoposition
Language:Haskell1 3 0
victoredwardocallaghan/gopro_fetcher
Language:Rust1 3 0
victoredwardocallaghan/hbts
Language:Haskell1 3 0
victoredwardocallaghan/bindings-libftdi
Language:Haskell3 0
victoredwardocallaghan/bladeRF
bladeRF USB 3.0 Superspeed Software Defined Radio Source Code
Language:C3 0
victoredwardocallaghan/blog
My blog
Language:CSS3 01
victoredwardocallaghan/clew
The OpenCL Extension Wrangler Library
Language:C3 0
victoredwardocallaghan/Congo
I don't even know what this is yet..
Language:Haskell3 0
victoredwardocallaghan/DPF
DISTRHO Plugin Framework
Language:C++3 0
victoredwardocallaghan/DragonFlyBSD
DragonFly Master Repository (clone)
Language:C4 0
victoredwardocallaghan/EGL-Registry
EGL API and Extension Registry
Language:HTML3 0
victoredwardocallaghan/harmonics
Language:Makefile3 0
victoredwardocallaghan/HaskellDSP
Language:Haskell3 0
victoredwardocallaghan/haskflash
Language:Haskell3 0
victoredwardocallaghan/idiot-kit
Language:C3 0
victoredwardocallaghan/idris-vim
Idris mode for vim
Language:VimL3 0
victoredwardocallaghan/idris2-rtlsdr
Idris2 package that provides low level bindings to rtlsdr
Language:Idris1 02
victoredwardocallaghan/iso3166-2
Defines codes for identifying the principal subdivisions (e.g., provinces or states) of all countries coded in ISO 3166-1.
3 0
victoredwardocallaghan/linux
Linux kernel source tree
Language:C3 0
victoredwardocallaghan/mesa-GLwork
Language:C3 0
victoredwardocallaghan/mta-sts
victoredwardocallaghan/nixpkgs
Nix Packages collection
Language:Nix3 0
victoredwardocallaghan/piglit-work
Language:C3 0
victoredwardocallaghan/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:C3 0
victoredwardocallaghan/victoredwardocallaghan.github.io
Language:CSS3 01