alexpeits/flycheck-ghcid

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Emacs Lisp
License
GNU General Publi...
Created almost 6 years ago
Updated almost 6 years ago

alexpeits/flycheck-ghcid

alexpeits

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

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

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

haskell-lab-old

Everything is in here

advent-of-code-2017

Advent of Code 2017 solutions in Haskell

lax

A (WIP) chat app written 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