alexpeits/haskell-proofs alexpeits/haskell-proofs

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
alexpeits/haskell-proofs
github

alexpeits

Reviews

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

Repository Details

Examples using dependent types for mathematical proofs at the type level

More Repositories

1

harg

Haskell program configuration using higher kinded data
Haskell
29
star
2

emacs.d

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

presentationlib

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

nixos-config

NixOS + home manager configuration files
Nix
6
star
5

habito-proofs-talk

Haskell
5
star
6

flycheck-ghcid

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

haskell-lab-old

Everything is in here
Haskell
3
star
8

advent-of-code-2017

Advent of Code 2017 solutions in Haskell
Haskell
2
star
9

lax

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

advent-of-code-2018

Advent of code 2018 solutions 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