eviefp

logic-in-haskell

Classical Logic in Haskell

dotfiles

purescript-sorted-arrays

roll

lean4-aoc2023

hasura-root

lean4-http

estrg

Evie's STRongly typed Game engine

eviefp.github.io

My blog

hcs

blog

cradle

DND-5e-LaTeX-Character-Sheet-Template

LaTeX package to typeset character sheets for the fifth edition of the "world's greatest roleplaying game".

ect

eviefp

Hyprland

Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

hyprpicker

A wlroots-compatible Wayland color picker that does not suck.

iCalendar

iCalendar data types, parser, and printer.

lean4-alloy

Write C shims from within Lean code.

nix-neovim

neovim with my packages

nix-prisma-example

An example Prisma project using nix

nixpkgs

Nix Packages collection

open-letter

an open letter to the NixOS foundation

opengl-playground

Dumping ground for OpenGL experiments.

org-mode-hs

Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄

org-roam-ui

A graphical frontend for exploring your org-roam Zettelkasten

pennylane-exercise

phaser

Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.

purebred

A terminal based mail user agent based on notmuch

socket.lean

sockets for Lean 4