Geometer1729's repositories
nixos-config
My nixos configuration
stylix
System-wide colorscheming and typography for NixOS
proof-systems
The proof systems used by Mina
nixpkgs
Nix Packages collection & NixOS
DiceBot
Yet another discord dice bot
persist-retro
Retroactively persist directories with impermanence
AoC2023
Advent of Code 2023
palisade-solver
Solves Palisade puzzles by reduction to SAT
liqwid-nix
Nix tools for building Liqwid projects
cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
discord-haskell
Haskell library for writing Discord bots
purs-nix
Manage your PureScript projects with Nix!
cardano-configurations
A common place for finding / maintaining configurations of various services of the Cardano eco-system
vim-J
All it takes is a little push.
Torth
Inspired by tsoding's Porth
plutarch
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
sydtest
A modern testing framework for Haskell with good defaults and advanced testing features.
plutonomicon
Advanced techniques in the plutus smart contract language
jtool-skin-importer
Takes a jtool skin and makes gmx files based on the skin and template gmx files
Shrinker
Tools for shrinking UPLC scripts.
plutus-extra
Helper libraries for Plutus.
AOC2021
My advent of code solutions this year
plutus
The Plutus language implementation and tools
tafl-engine
An atempt to write a game engine for: emberian/automatafl