victoredwardocallaghan/iridium
xmonad with the X11 abstracted and configured with Idris
Developer Profile
victoredwardocallaghan
Discovered public repositories for victoredwardocallaghan in the GitHub catalog.
victoredwardocallaghan/idris-vim
Idris mode for vim
victoredwardocallaghan/LearnIdris
Idris - Dependently-Typed Programing Learning Material
victoredwardocallaghan/DragonFlyBSD
DragonFly Master Repository (clone)
victoredwardocallaghan/lightspark
An open source flash player implementation
victoredwardocallaghan/radare2
unix-like reverse engineering framework and commandline tools
victoredwardocallaghan/systemk
systemk is an alternative to systemd written in Haskell
victoredwardocallaghan/aperture
Public repository.
victoredwardocallaghan/intelmetool
Intel Management Engine info tool
victoredwardocallaghan/integrityboot
Integrity Boot BIOS replacemnt
victoredwardocallaghan/pidgin-xmonad
Pidgin plugin to notify un-annoyingly in xmonad of unread messages
victoredwardocallaghan/m5a99fx
Public repository.
victoredwardocallaghan/testc
Public repository.
victoredwardocallaghan/cryptol
Cryptol: The Language of Cryptography
victoredwardocallaghan/intelamt
Public repository.
victoredwardocallaghan/pygments-main
Public repository.
victoredwardocallaghan/blaenk.github.io
the source for my personal site, written in Haskell, powered by Hakyll
victoredwardocallaghan/victoredwardocallaghan.github.io
Public repository.
victoredwardocallaghan/ADT
Abstract Data Types
victoredwardocallaghan/mysite
Public repository.
victoredwardocallaghan/AtomDis
Public repository.
victoredwardocallaghan/vm_configs
Various etc bits.
victoredwardocallaghan/Cxx_Refresher
A referesher in C++ to bring me up to speed in the C++11 standard..
victoredwardocallaghan/data-structures
Various implementations of data structures in various languages.
victoredwardocallaghan/keyhunter
A tool to recover lost bitcoin private keys from dead harddrives.
victoredwardocallaghan/haskell_book
Public repository.
victoredwardocallaghan/misc_unix
Various educational Unix bits and bobs.
victoredwardocallaghan/OBD2-Scantool
A scantool to read OBD2 info from cars.
victoredwardocallaghan/freebsd
FreeBSD src tree
victoredwardocallaghan/usertty
A userspace replacement to FreeBSD's ring0 console that works with KMS/DRM.
victoredwardocallaghan/cisco_cert_notes
notes for Cisco certification exams
victoredwardocallaghan/coffeebit
A web store that sells coffee for bitcoin.
victoredwardocallaghan/siyahkernel3
ICS kernel for Samsung Galaxy S2
victoredwardocallaghan/clockworkmod_galaxys2_initramfs
GalaxyS II ClockworkMod Initramfs Template
victoredwardocallaghan/Infusion-Kernel
Support for ext4, tunneling, USB RNDIS, OC/UV to 1.6, plus more.
victoredwardocallaghan/initramfs-galaxy-s2-ics
CWM derived recovery for Galaxy S2 ICS that boots B2G
victoredwardocallaghan/galaxys2_kernel_repack
unpack s2¬e kernel and rebuild,thanks :z4mod,Tungstwenty
victoredwardocallaghan/gt-i9100
Scripts to build the custom Linux kernel for Samsung Galaxy S II (GT-I9100)
victoredwardocallaghan/initramfs-gt-i9100
Samsung Galaxy S II GT-I9100 modified initramfs
victoredwardocallaghan/samsung-kernel-galaxysii
Repository for Galaxy SII kernel: because tarballs for source code are obsolete since 1972. Unmodified sources
victoredwardocallaghan/Reef
Public repository.
victoredwardocallaghan/blog
My blog
victoredwardocallaghan/AVR
AVR Microcontroller Educational Projects
victoredwardocallaghan/mathblog
A package for managing a static, mathematically-inclined web log
victoredwardocallaghan/book-1
A textbook on informal homotopy type theory
victoredwardocallaghan/book
A book on introducing programming and the foundations of mathematics from scratch by way of homotopy type & category theory.
victoredwardocallaghan/xen
Mirror of xen.git from xenbits.xen.org
victoredwardocallaghan/scraps
Various Misc bits.
victoredwardocallaghan/projecteular
Project Euler Solutions written in Haskell, seriously what else!?
victoredwardocallaghan/SWS
Security Workshop Syndey.