Geometer1729's repositories
persist-retro
Retroactively persist directories with impermanence
cardano-configurations
A common place for finding / maintaining configurations of various services of the Cardano eco-system
cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
discord-haskell
Haskell library for writing Discord bots
Language:HaskellNOASSERTION000
jtool-skin-importer
Takes a jtool skin and makes gmx files based on the skin and template gmx files
liqwid-nix
Nix tools for building Liqwid projects
Language:Nix000
nixos-config
My nixos configuration
palisade-solver
Solves Palisade puzzles by reduction to SAT
plutonomicon
Advanced techniques in the plutus smart contract language
plutus-extra
Helper libraries for Plutus.
proof-systems
The proof systems used by Mina
Language:RustApache-2.0000
stylix
System-wide colorscheming and typography for NixOS
Language:NixMIT000
tafl-engine
An atempt to write a game engine for: emberian/automatafl