sgillespie

lambda-calculus

An introduction to the Lambda Calculus

nixos-yubikey-luks

Set up a LUKS-encrypted filesystem for Yubikey in NixOS

gibberish

Generate easy-to-remember, hard-to-guess passwords

lambda-calculator

A simple implementation of the untyped lambda calculus

nixos-godot-bin

An overlay for Godot

haskell-gltf-loader

High level GlTF Haskell loader

seangine

Experimental 3D Rendering Engine

nixos-configs

My NixOS configuration for desktop

seandexer

Experimenting with creating a cardano indexer from scratch

sgillespie.github.io

actions

IOG GitHub Actions

cardano-db-sync

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

cardano-dev-hls

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).

dotfiles

envious

.env file parser for Elixir

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

haskell-basics

Talk: Intro to Haskell, for Jax.Ex

haskell-build-test

haskell-cli-starter

A Haskell boilerplate for CLI applications

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

hello-agda

Nix recipe for a minimal agda project

iohk-nix

nix scripts shared across projects

mkdocs-demo

nixpkgs

Nix Packages collection

plfa-nix

A Nix build for Programming Language Foundations in Agda

plutus

The Plutus language implementation and tools

safe-int

An experiment to see if we can prevent over/underflows at the type level