alexpeits/lax

Stars
2
Language
Haskell
License
BSD 3-Clause "New...
Created over 6 years ago
Updated about 6 years ago

alexpeits/lax

alexpeits

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A (WIP) chat app written in haskell

harg

Haskell program configuration using higher kinded data

haskell-proofs

Examples using dependent types for mathematical proofs at the type level

emacs.d

My emacs configuration using org-mode

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

haskell-lab-old

Everything is in here

advent-of-code-2017

Advent of Code 2017 solutions in Haskell

advent-of-code-2018

Advent of code 2018 solutions in haskell

metaclasses-pythonmeetup-hsgr

Metaclasses presentation (Athens Python users meetup)

autoform

Automatically generated wtforms from SQLAlchemy models.

xmonad-config

simpleslackbot

Wrapper for Slack's RTM API for quick bot implementations

alexpeits.github.io

My personal blog

delight-diploma-thesis

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

dotfiles

thesis-flask-server

WebGUI for "delight", implemented with Flask and Highcharts.js

plot-helpers-thesis

indicator-scripts

Gtk3 indicator for categorizing and executing files

haskell-nix-cookiecutter

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

lazydir

Directory structure validation and creation