alexpeits

haskell-lab-old

Everything is in here

advent-of-code-2017

Advent of Code 2017 solutions in Haskell

metaclasses-pythonmeetup-hsgr

Metaclasses presentation (Athens Python users meetup)

delight-diploma-thesis

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

indicator-scripts

Gtk3 indicator for categorizing and executing files

lazydir

Directory structure validation and creation

simpleslackbot

Wrapper for Slack's RTM API for quick bot implementations

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)

channels

Developer-friendly asynchrony for Django

coq-fun

fun with coq

cpython

The Python programming language

cstuff

Meddling with dynamic C data structures

dth

Examples of Dependently-typed programs in Haskell

hvac

:lock: Python 2/3 client for HashiCorp Vault

indicator-plot

Gtk3 indicator for generating 2d plots from user input

intero

Complete interactive development program for Haskell

lights-diploma-thesis

Automatically controlled light dimmer to minimize power dissipation (NTUA ECE diploma thesis)

multiconf

Configuration handler that allows for multiple configuration schemes

notif

Simple todo app with GTK notification support

orm_like

Sample implementation of an ORM mapper and a related form generator

py-spidev

rhine

Haskell Functional Reactive Programming framework with type-level clocks

saguine

Yet another "Yet another static site generator" static site generator.

silly

Silly little scripts

starks

Useful python utils

straw

Unix-like pipelines in Python

waycon

ncurses Conway's game of life visualization

websockets

A Haskell library for creating WebSocket-capable servers

yi

The Haskell-Scriptable Editor