Pinned Repositories
dotfiles
Assorted configuration files
DraygonTensor
Virtual Environments and Simulations Project
Fever
The Fever Graphics Library
how-to-prove-it-exercise-solutions
Exercise solutions to "How To Prove It" by Daniel J. Velleman.
inductive-graphs
A simple implementation of the inductive graphs detailed in Martin Erwig's paper "Inductive Graphs and Functional Graph Algorithms" (https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf).
MetalDeferredLighting
Deferred Lighting in Swift using the Metal API
MetalDeferredLightingTutorial
Tutorial source for implementing deferred lighting in Metal
polysemy-examples
Some usage examples for Sandy Maguire's Polysemy library: https://github.com/isovector/polysemy
sevanspowell's Repositories
sevanspowell/dotfiles
Assorted configuration files
sevanspowell/network
Personal network configuration
sevanspowell/personal-network
sevanspowell/bindings-GLFW
Low-level Haskell bindings to GLFW
sevanspowell/bitte-tutorial
sevanspowell/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
sevanspowell/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
sevanspowell/cardano-token-registry
sevanspowell/CIPs
sevanspowell/cq
Query cabal files.
sevanspowell/developer-portal
The Cardano Developer Portal
sevanspowell/didactic-waffle
sevanspowell/docopt.hs
A command-line interface description language and parser that will make you smile
sevanspowell/git-exercises
A collection of exercises to improve your git-fu
sevanspowell/glibc-233-repro
Reproduction case for "version `GLIBC_2.33' not found" error
sevanspowell/gtk2hs
GUI library for Haskell based on GTK+
sevanspowell/help-nix
sevanspowell/hindent
Haskell pretty printer
sevanspowell/hpc-coveralls
coveralls.io support for haskell code coverage with hpc
sevanspowell/hw-aeson
sevanspowell/hydra-poc
Proof of concept for the Hydra Head protocol :construction_worker:
sevanspowell/ict290-pull-request-demo
sevanspowell/iproute
IP Routing Table in Haskell
sevanspowell/metadata-registry-testnet-copy
sevanspowell/metadata-tutorial-webhook
sevanspowell/mu4e-dashboard
A dashboard for mu4e (mu for emacs)
sevanspowell/nixos-config
My NixOS configurations.
sevanspowell/s
sevanspowell/voting-tools-rs
sevanspowell/wedding-website