alexpeits/dotfiles alexpeits/dotfiles

  • Stars
    star
    1
  • Language
    Vim Script
  • Created over 8 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
alexpeits/dotfiles
github

alexpeits

Reviews

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

Repository Details

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

advent-of-code-2018

Advent of code 2018 solutions in haskell
Haskell
2
star
12

metaclasses-pythonmeetup-hsgr

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

autoform

Automatically generated wtforms from SQLAlchemy models.
Python
1
star
14

xmonad-config

XMonad config
Haskell
1
star
15

simpleslackbot

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

alexpeits.github.io

My personal blog
Haskell
1
star
17

delight-diploma-thesis

RPi+Arduino distributed system for auto adjusting light intensity to minimize power dissipation (currently rewriting)
Python
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