alexpeits

harg

Haskell program configuration using higher kinded data

emacs.d

My emacs configuration using org-mode

haskell-proofs

Examples using dependent types for mathematical proofs at the type level

presentationlib

Tool for creating live presentations and evaluating Python code

nixos-config

NixOS + home manager configuration files

habito-proofs-talk

flycheck-ghcid

Simple flycheck integration with ghcid for displaying errors and warnings in haskell buffers

advent-of-code-2018

Advent of code 2018 solutions in haskell

lax

A (WIP) chat app written in haskell

alexpeits.github.io

My personal blog

dotfiles

haskell-nix-cookiecutter

Cookiecutter template to quickly generate haskell+cabal+nix+direnv projects

xmonad-config

XMonad config

statue

Simple static site generator using only nix

apecs

a fast, type driven, extensible ECS for game development

barbies

fast-tags

Incremental vi and emacs tags for haskell.

haskell

An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.

haskell-mode

Emacs mode for Haskell

higgledy

Higher-kinded data via generics

minirepo

A monorepo template, using Nix, direnv and Bazel

nix-stuff

Nothing interesting

nixpkgs

Nix Packages collection

org-reveal-template

Simple template to create a reveal.js slideshow with org-mode

org-roam

Rudimentary Roam replica with Org-mode

org-roam-server

A Web Application to Visualize the Org-Roam Database

PG

This repo is the new home of Proof General

purescript-react-redux

purs-bundle-issue-reproduction

py-api-example

Small example for an API using python, FastAPI, SQLAlchemy, alembic, pydantic & more