Pinned Repositories
AdventOfCode2022
AutomatedReasoning
Code for CS653 Automated Reasoning as well as some other topics in the field.
chess
DiceBot
Yet another discord dice bot
FFIdemo
Quick demonstration of Haskell's foreign function interface.
Gol
A game of life simulator
hsh
A shell in haskell (still in progress but probably usable, though it prints some debug info right now)
persist-retro
Retroactively persist directories with impermanence
PrettyPictures
Automates the art thing on proffesor Felland's door.
Shrinker
Tools for shrinking UPLC scripts.
Geometer1729's Repositories
Geometer1729/persist-retro
Retroactively persist directories with impermanence
Geometer1729/AdventOfCode2022
Geometer1729/chess
Geometer1729/DiceBot
Yet another discord dice bot
Geometer1729/Shrinker
Tools for shrinking UPLC scripts.
Geometer1729/AOC2021
My advent of code solutions this year
Geometer1729/AoC2023
Advent of Code 2023
Geometer1729/cardano-configurations
A common place for finding / maintaining configurations of various services of the Cardano eco-system
Geometer1729/cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Geometer1729/discord-haskell
Haskell library for writing Discord bots
Geometer1729/GoblinFight
Geometer1729/jtool-skin-importer
Takes a jtool skin and makes gmx files based on the skin and template gmx files
Geometer1729/liqwid-nix
Nix tools for building Liqwid projects
Geometer1729/nixos-config
My nixos configuration
Geometer1729/nixpkgs
Nix Packages collection & NixOS
Geometer1729/palisade-solver
Solves Palisade puzzles by reduction to SAT
Geometer1729/plutarch
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Geometer1729/plutonomicon
Advanced techniques in the plutus smart contract language
Geometer1729/plutus
The Plutus language implementation and tools
Geometer1729/plutus-extra
Helper libraries for Plutus.
Geometer1729/proof-systems
The proof systems used by Mina
Geometer1729/purs-nix
Manage your PureScript projects with Nix!
Geometer1729/S-Ssolver
Geometer1729/smbc-incomplete
Geometer1729/stylix
System-wide colorscheming and typography for NixOS
Geometer1729/sydtest
A modern testing framework for Haskell with good defaults and advanced testing features.
Geometer1729/tafl-engine
An atempt to write a game engine for: emberian/automatafl
Geometer1729/Torth
Inspired by tsoding's Porth
Geometer1729/vim-J
All it takes is a little push.
Geometer1729/zkapp-tic-tac-toe