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/alpine-tensorflow
Building Tensorflow in Alpine
paddymahoney/API-1
Documentation and Samples for the Official HN API
paddymahoney/awesome-xamarin
A curated list of awesome Xamarin iOS/Android and Xamarin Forms bindings, ports, frameworks and much more!
paddymahoney/bitcoin
Bitcoin Core integration/staging tree
paddymahoney/casper
Casper contract, daemon and related software and tests
paddymahoney/databrokerdao-dapp
paddymahoney/docker-pi-hole
Pi-hole in a docker container
paddymahoney/docker-python-deep-learning
A container for Deep Learning with Python 3
paddymahoney/DuplexRsync
DropBox/GoogleDrive-style 2-way sync using rsync and fswatch
paddymahoney/ethminer
Ethereum miner with OpenCL, CUDA and stratum support
paddymahoney/examples
Calculations which I often have to re-do, and textbook problems that I get hung up on.
paddymahoney/gans-awesome-applications
Curated list of awesome GAN applications and demo
paddymahoney/metals
🚧 WIP Language Server for Scala
paddymahoney/MultiPoolMiner
Monitors crypto mining pools in real-time in order to find the most profitable for your machine. Controls any miner that is available via command line.
paddymahoney/nheqminer
Equihash miner for NiceHash
paddymahoney/nolf2-real-mod
R.E.A.L. mod - VR conversion for No One Lives Forever 2: A Spy in H.A.R.M.'s Way
paddymahoney/nvidia-docker
Build and run Docker containers leveraging NVIDIA GPUs
paddymahoney/OpenSimpleLidar
Open Hardware scanning laser rangefinder
paddymahoney/paddymahoney.github.io
paddymahoney/phoronix-test-suite
The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.
paddymahoney/ROCm
ROCm - Open Source Platform for HPC and Ultrascale GPU Computing
paddymahoney/sentence-collector
Tool to collect and review sentences for Common Voice
paddymahoney/setuptools-antlr
A setuptools command for generating ANTLR based parsers
paddymahoney/sgminer
Scrypt GPU miner
paddymahoney/simpleivr
A Scala algebra for writing telephony applications, including an implementation that wraps asterisk-java
paddymahoney/starlight
A practical application launcher for impractical people
paddymahoney/tacopie
C++ TCP Library
paddymahoney/tensorflow-alpine
TensorFlow in Alpine Linux
paddymahoney/xmr-stak
Unified All-in-one Monero miner
paddymahoney/zcash
Zcash - Internet Money