redfish64

TinyTravelTracker

Private Android GPS tracker

paper_otp

One time pad message which can be decoded using only paper and a light source

bitcoin-tax-calculator

Helps calcuate capital gain/loss information for crypto currency trades

NomicCoin201710

A p2p network written in Idris and designed to be very similar to idris itself

idris2_learn

some examples of various idris2 syntax

IrcScanner

NC201712

Something to do with nomics and coins

Anki-Android

Add some tweeks to AnkiDroid

CGlob

Glob pattern matching library

cinnabar-style

Colorful cartography for that classic look

copilot.el

An unofficial Copilot plugin for Emacs.

crap

Most unsorted things

docs

NodeBB Documentation via MkDocs

GfxTablet

Draw on your PC via your Android device

gli

OpenGL Image (GLI)

identicon-c

C library for creating identicons from strings

Idris2

A purely functional programming language with first class types

idris2-elab-deriving

implementation deriving for idris2

idris2-mode

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

Idris2_contrib_port

An attempt to convert contrib to work with Idris2 (I'm a beginner, go easy on me)

mem1win

leave me alone

MidiSheetMusic-Android

Play and visualize MIDI music files

MrCrypto

Extremely simple crypto test

nix

Nix, the purely functional package manager

nixpkgs

Nix Packages collection

NumScripts

Tabletop simulator scripts for dice and maybe other things

refind-code-identicon

refind with identicon boot loader tampering detection support

sbctl

:computer: Secure Boot key manager

stable-diffusion-dreambooth

A notebook containing code to train your own Dreambooth model using Stable Diffusion.

TTS_lib

Collection of general-purpose custom scripts for Tabletop Simulator