alexpeits Goto Github PK

99-problems

The 99 problems exercise in various languages (https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems)

advent-of-code-2016-clojure

Advent of code 2016 solutions (clojure)

advent-of-code-2017

Advent of Code 2017 solutions in Haskell

advent-of-code-2018

Advent of code 2018 solutions in haskell

alexpeits.github.io

My personal blog

apecs

a fast, type driven, extensible ECS for game development

autoform

Automatically generated wtforms from SQLAlchemy models.

barbies

channels

Developer-friendly asynchrony for Django

coq-fun

fun with coq

cpython

The Python programming language

cstuff

Meddling with dynamic C data structures

delight-diploma-thesis

RPi+Arduino distributed system for auto adjusting light intensity to minimize power dissipation (currently rewriting)

dotfiles

dth

Examples of Dependently-typed programs in Haskell

emacs.d

My emacs configuration using org-mode

fast-tags

Incremental vi and emacs tags for haskell.

flask

A microframework based on Werkzeug, Jinja2 and good intentions

flycheck-ghcid

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

habito-proofs-talk

harg

Haskell program configuration using higher kinded data

haskell

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

haskell-lab-old

Everything is in here

haskell-mode

Emacs mode for Haskell

haskell-nix-cookiecutter

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

haskell-proofs

Examples using dependent types for mathematical proofs at the type level

higgledy

Higher-kinded data via generics

hvac

:lock: Python 2/3 client for HashiCorp Vault

indicator-plot

Gtk3 indicator for generating 2d plots from user input

indicator-scripts

Gtk3 indicator for categorizing and executing files