Pinned Repositories
bitcoin-tax-calculator
Helps calcuate capital gain/loss information for crypto currency trades
idris2_learn
some examples of various idris2 syntax
IrcScanner
MpvLangLearn
Plays mpv files with subtitles in a way to optimize for learning a foreign (human) language
NC201712
Something to do with nomics and coins
nomiccoin
simple voting coin experiment
NomicCoin201710
A p2p network written in Idris and designed to be very similar to idris itself
paper_otp
One time pad message which can be decoded using only paper and a light source
TinyTravelTracker
Private Android GPS tracker
redfish64's Repositories
redfish64/TinyTravelTracker
Private Android GPS tracker
redfish64/paper_otp
One time pad message which can be decoded using only paper and a light source
redfish64/bitcoin-tax-calculator
Helps calcuate capital gain/loss information for crypto currency trades
redfish64/idris2_learn
some examples of various idris2 syntax
redfish64/IrcScanner
redfish64/NC201712
Something to do with nomics and coins
redfish64/Anki-Android
Add some tweeks to AnkiDroid
redfish64/CGlob
Glob pattern matching library
redfish64/cinnabar-style
Colorful cartography for that classic look
redfish64/copilot.el
An unofficial Copilot plugin for Emacs.
redfish64/crap
Most unsorted things
redfish64/docs
NodeBB Documentation via MkDocs
redfish64/GfxTablet
Draw on your PC via your Android device
redfish64/gli
OpenGL Image (GLI)
redfish64/identicon-c
C library for creating identicons from strings
redfish64/Idris2
A purely functional programming language with first class types
redfish64/idris2-elab-deriving
implementation deriving for idris2
redfish64/idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
redfish64/Idris2_contrib_port
An attempt to convert contrib to work with Idris2 (I'm a beginner, go easy on me)
redfish64/mem1win
leave me alone
redfish64/MidiSheetMusic-Android
Play and visualize MIDI music files
redfish64/MrCrypto
Extremely simple crypto test
redfish64/nix
Nix, the purely functional package manager
redfish64/nixpkgs
Nix Packages collection
redfish64/NumScripts
Tabletop simulator scripts for dice and maybe other things
redfish64/refind-code-identicon
refind with identicon boot loader tampering detection support
redfish64/sbctl
:computer: Secure Boot key manager
redfish64/stable-diffusion-dreambooth
A notebook containing code to train your own Dreambooth model using Stable Diffusion.
redfish64/themetrack
redfish64/TTS_lib
Collection of general-purpose custom scripts for Tabletop Simulator