• Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 6 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

Advent of code 2018 solutions in haskell

More Repositories

1

harg

Haskell program configuration using higher kinded data
Haskell
29
star
2

haskell-proofs

Examples using dependent types for mathematical proofs at the type level
Haskell
12
star
3

emacs.d

My emacs configuration using org-mode
Emacs Lisp
12
star
4

presentationlib

Tool for creating live presentations and evaluating Python code
Python
8
star
5

nixos-config

NixOS + home manager configuration files
Nix
6
star
6

habito-proofs-talk

Haskell
5
star
7

flycheck-ghcid

Simple flycheck integration with ghcid for displaying errors and warnings in haskell buffers
Emacs Lisp
4
star
8

haskell-lab-old

Everything is in here
Haskell
3
star
9

advent-of-code-2017

Advent of Code 2017 solutions in Haskell
Haskell
2
star
10

lax

A (WIP) chat app written in haskell
Haskell
2
star
11

metaclasses-pythonmeetup-hsgr

Metaclasses presentation (Athens Python users meetup)
HTML
2
star
12

autoform

Automatically generated wtforms from SQLAlchemy models.
Python
1
star
13

xmonad-config

XMonad config
Haskell
1
star
14

simpleslackbot

Wrapper for Slack's RTM API for quick bot implementations
Python
1
star
15

alexpeits.github.io

My personal blog
Haskell
1
star
16

delight-diploma-thesis

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

dotfiles

Vim Script
1
star
18

thesis-flask-server

WebGUI for "delight", implemented with Flask and Highcharts.js
JavaScript
1
star
19

plot-helpers-thesis

Python
1
star
20

indicator-scripts

Gtk3 indicator for categorizing and executing files
Python
1
star
21

haskell-nix-cookiecutter

Cookiecutter template to quickly generate haskell+cabal+nix+direnv projects
Nix
1
star
22

lazydir

Directory structure validation and creation
Python
1
star