-
-
nixos-config Public
NixOS + home manager configuration files
-
harg Public
Haskell program configuration using higher kinded data
-
py-api-example Public
Small example for an API using python, FastAPI, SQLAlchemy, alembic, pydantic & more
Python UpdatedMar 2, 2023 -
haskell-nix-cookiecutter Public
Cookiecutter template to quickly generate haskell+cabal+nix+direnv projects
-
alexpeits.github.io Public
My personal blog
-
-
higgledy Public
Forked from i-am-tom/higgledyHigher-kinded data via generics
Haskell MIT License UpdatedJan 24, 2021 -
minirepo Public
Forked from lunaris/minirepoA monorepo template, using Nix, direnv and Bazel
Starlark UpdatedAug 3, 2020 -
haskell Public
Forked from ekmett/haskellAn unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
Haskell UpdatedJul 26, 2020 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJun 21, 2020 -
statue Public
Simple static site generator using only nix
Nix BSD 3-Clause "New" or "Revised" License UpdatedJun 15, 2020 -
org-roam Public
Forked from org-roam/org-roamRudimentary Roam replica with Org-mode
Emacs Lisp GNU General Public License v3.0 UpdatedJun 14, 2020 -
org-roam-server Public
Forked from org-roam/org-roam-serverA Web Application to Visualize the Org-Roam Database
HTML MIT License UpdatedJun 8, 2020 -
PG Public
Forked from ProofGeneral/PGThis repo is the new home of Proof General
Emacs Lisp GNU General Public License v2.0 UpdatedJun 4, 2020 -
haskell-proofs Public
Examples using dependent types for mathematical proofs at the type level
-
haskell-mode Public
Forked from haskell/haskell-modeEmacs mode for Haskell
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 21, 2020 -
-
fast-tags Public
Forked from elaforge/fast-tagsIncremental vi and emacs tags for haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 10, 2019 -
-
presentationlib Public
Tool for creating live presentations and evaluating Python code
-
-
purescript-react-redux Public
Forked from heyhabito/purescript-react-reduxPureScript MIT License UpdatedSep 11, 2019 -
barbies Public
Forked from jcpetruzza/barbies -
-
apecs Public
Forked from jonascarpay/apecsa fast, type driven, extensible ECS for game development
-
advent-of-code-2018 Public
Advent of code 2018 solutions in haskell
-
flycheck-ghcid Public
Simple flycheck integration with ghcid for displaying errors and warnings in haskell buffers
-
org-reveal-template Public
Simple template to create a reveal.js slideshow with org-mode
HTML UpdatedOct 28, 2018 -
lax Public
A (WIP) chat app written in haskell
{{ message }}