Alex Peitsinis's repositories
nixos-config
NixOS + home manager configuration files
py-api-example
Small example for an API using python, FastAPI, SQLAlchemy, alembic, pydantic & more
haskell-nix-cookiecutter
Cookiecutter template to quickly generate haskell+cabal+nix+direnv projects
alexpeits.github.io
My personal blog
xmonad-config
XMonad config
higgledy
Higher-kinded data via generics
minirepo
A monorepo template, using Nix, direnv and Bazel
haskell
An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
nixpkgs
Nix Packages collection
statue
Simple static site generator using only nix
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
haskell-proofs
Examples using dependent types for mathematical proofs at the type level
haskell-mode
Emacs mode for Haskell
fast-tags
Incremental vi and emacs tags for haskell.
nix-stuff
Nothing interesting
presentationlib
Tool for creating live presentations and evaluating Python code
apecs
a fast, type driven, extensible ECS for game development
advent-of-code-2018
Advent of code 2018 solutions in haskell
flycheck-ghcid
Simple flycheck integration with ghcid for displaying errors and warnings in haskell buffers
org-reveal-template
Simple template to create a reveal.js slideshow with org-mode