• Stars
    star
    1
  • Language
    Python
  • License
    BSD 3-Clause "New...
  • Created about 8 years ago
  • Updated almost 8 years ago

Reviews

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

Repository Details

Gtk3 indicator for categorizing and executing files

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

dotfiles

Vim Script
1
star
19

thesis-flask-server

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

plot-helpers-thesis

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