Discover @alexpeits Open Source projects

Alex Peitsinis (@alexpeits)

alexpeits

Stars
98
Global Rank 210,785 (Top 8 %)
Followers 42
Following 110
Registered almost 9 years ago
Most used languages

Haskell
39.1 %

Python
30.4 %

Nix
8.7 %

Emacs Lisp
8.7 %

JavaScript
4.3 %

Vim Script
4.3 %

HTML
4.3 %
Location 🇬🇧 United Kingdom
Country Total Rank 9,112
Country Ranking

Nix
64

Emacs Lisp
82

Haskell
91

Vim Script
861

Python
5,657

HTML
5,702

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

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