Sean Gillespie's repositories
nixos-yubikey-luks
Set up a LUKS-encrypted filesystem for Yubikey in NixOS
nixos-godot-bin
An overlay for Godot
haskell-gltf-loader
High level GlTF Haskell loader
nixos-configs
My NixOS configuration for desktop
actions
IOG GitHub Actions
cardano-db-sync
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
devx
The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems (and architectures).
envious
.env file parser for Elixir
haskell-basics
Talk: Intro to Haskell, for Jax.Ex
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
hello-agda
Nix recipe for a minimal agda project
hsc2hs
Pre-processor for .hsc files
hsc2hs-nix-test
Nix flake for testing hsc2hs cross compiling
interval-map
A specialization of fingertree that allows searching intervals
plfa-nix
A Nix build for Programming Language Foundations in Agda
plutus
The Plutus language implementation and tools
text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.