Pinned Repositories
asciiprooftree
Reformat ASCII proof trees in your code/docs
cove
TUI client for euphoria.leet.nu, a threaded real-time chat platform
forest
An experiment in tree-based interaction
mima-tools
Tools for the Minimalmaschine (MiMa)
PFERD
Programm zum Flotten, Einfachen Runterladen von Dateien
profold
A TUI viewer for ghc .prof files
task-machine
Manage personal tasks to complete (inspired by when, the calendar)
today
Track recurring dates and tasks
yaboli
Yet Another (Python) Bot Library for euphoria.io
Garmelon's Repositories
Garmelon/mima-tools
Tools for the Minimalmaschine (MiMa)
Garmelon/forest
An experiment in tree-based interaction
Garmelon/profold
A TUI viewer for ghc .prof files
Garmelon/task-machine
Manage personal tasks to complete (inspired by when, the calendar)
Garmelon/bowl
A TUI client for euphoria.io
Garmelon/evering
A config file manager
Garmelon/haboli
Yet Another (Haskell) Bot Library for euphoria.io
Garmelon/backup
A few of the scripts making up my backup system
Garmelon/composite-parse
A small java parsing library
Garmelon/euphoria-adventure
An euphoria bot that plays adventure
Garmelon/euphoria-infobot
A euphoria bot that displays information about clients in a room
Garmelon/euphoria-morse
An euphoria bot that can speak morse code
Garmelon/euphoria-plusone
A euphoria bot that counts +1s
Garmelon/euphoria-roller
A euphoria bot that rolls dice for dnd
Garmelon/euphoria-tom
A euphoria bot that spells words using the chemical elements
Garmelon/euphoria-wtf
A euphoria bot based on the wtf program
Garmelon/file-visualisation
A collection of small experiments and various scripts.
Garmelon/Garmelon
Garmelon/geneross
Recreate an image via a genetic algorithm
Garmelon/haboli-bot-collection
Various euphoria bots made with haboli
Garmelon/home-manager
Manage a user environment using Nix [maintainer=@rycee]
Garmelon/jotto-solver
Analyze a game of jotto and suggest guesses
Garmelon/lambda-infobot
A bot that displays information about clients in a room.
Garmelon/lean4
Lean 4 programming language and theorem prover
Garmelon/propa-tools
Programming paradigm related stuff
Garmelon/rextra
Doing stuff with DFAs and NFAs
Garmelon/Rocket
A web framework for Rust.
Garmelon/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Garmelon/Trumpotron
Markov'd Trump speeches
Garmelon/tzfile
Rust chrono::TimeZone implementation using the system tz database