Pinned Repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
minecrift
Modified version of Minecrift VR mod that focuses on the Vive and room scale VR
music-grid
music-grid will eventually be an application that allows the user to see and manipulate representations of music. It is written in Racket.
obs-studio
OBS
racket
The Racket repository
VirtualRhythm
paddymahoney's Repositories
paddymahoney/BarbBlock
Chrome extension which blocks requests to sites which have used legal threats to remove themselves from other blacklists.
paddymahoney/burrow
Hyperledger Burrow
paddymahoney/cat.hs
paddymahoney/Claymore-Dual-Miner
Claymore's Dual Ethereum+Decred_Siacoin_Lbry AMD+NVIDIA GPU Miner
paddymahoney/coda
A language experiment, something to do on my vacation -- irc.freenode.net ##coda
paddymahoney/cosmos-sdk
A cryptocurrency framework in Golang
paddymahoney/cuberite
A lightweight, fast and extensible game server for Minecraft
paddymahoney/director-scripts
Cloudera Director sample code
paddymahoney/DOOM-3-BFG-VR
Doom 3 BFG VR: Fully Possessed. Doom 3 BFG with native Oculus Rift/Touch or OpenVR support
paddymahoney/erlscp
A supercompiler pass for Erlang
paddymahoney/etc
paddymahoney/ethermint
Ethereum on Tendermint!
paddymahoney/faas
Functions as a Service - a serverless framework for Docker
paddymahoney/FastestWebsiteEver
ultrafast single TCP packet audio/visual experience
paddymahoney/fpm
Effing package management! Build packages for multiple platforms (deb, rpm, etc) with great ease and sanity.
paddymahoney/Half-Life-VR
VR mod for Half-Life
paddymahoney/hono
Eclipse Hono™ Project
paddymahoney/Ice
Application to automatically add ROMs to Steam
paddymahoney/macro-lisp
Lisp-like DSL for Rust language
paddymahoney/metamath-turing-machines
metamath proof enumerators and other things
paddymahoney/MotherVR
This Mod brings current generation VR support to the game Alien: Isolation
paddymahoney/polyaxon
A platform that helps you build, manage and monitor deep learning models
paddymahoney/rufus
The Reliable USB Formatting Utility
paddymahoney/sandsifter
The x86 processor fuzzer
paddymahoney/seamless-immutable
Immutable data structures for JavaScript which are backwards-compatible with normal JS Arrays and Objects.
paddymahoney/SixTrack
paddymahoney/steamvr_unity_plugin
paddymahoney/styled-components
Visual primitives for the component age 💅
paddymahoney/Vivecraft_112
VR mod for Minecraft. For Version 1.12.X
paddymahoney/xtext-core
xtext-core