imeckler/funwithtypes imeckler/funwithtypes

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 12 years ago
  • Updated almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
imeckler/funwithtypes
github

imeckler

Reviews

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

Repository Details

Some explorations of types. Type system implementation, theorem proving, etc

More Repositories

1

mote

Haskell
116
star
2

stationary

A static site generator library for OCaml
OCaml
17
star
3

proof

Haskell
8
star
4

diffgeo

JavaScript
8
star
5

ocamlfrp

FRP library in OCaml intended primarily for js_of_ocaml usage
OCaml
7
star
6

bba

Rust
7
star
7

curve-search

Rust
6
star
8

HackerNews-Scraper

A scraper and parser of data from HackerNews
Python
4
star
9

corejs

A partial "spiritual port" of Jane Street's Core to js_of_ocaml
OCaml
4
star
10

ratio

Ratio library for elm
Elm
3
star
11

virtual_dom

Virtual_dom bindings for js_of_ocaml
JavaScript
3
star
12

iterator

Pure iterators for elm
Elm
3
star
13

Command-Line-Calendar

Display information from your iCal calendar in the terminal
Objective-C
3
star
14

Idris-Elba

JavaScript
3
star
15

stage

"Pure signals" for making animations in elm
Elm
3
star
16

shortwords

Elm
3
star
17

Graph-Visualization

Includes a force driven visualizer for graphs, a module that builds a graph of a user's Facebook friends, and a module that builds a phylogenetic tree from a database
Python
2
star
18

cabalparse

A hack for slick
Haskell
2
star
19

piece

Elm
2
star
20

wordle-solver

Rust
2
star
21

compellingproof

A library for writing animated proofs
JavaScript
2
star
22

1d-automata

1 dimensional cellular automaton simulator
Haskell
2
star
23

tsuru_sample

Sample Haskell code for Tsuru
Haskell
2
star
24

intSched

Interactive scheduler 2.0
JavaScript
1
star
25

LiveScript-Meteor-Package

A Meteor package for the LiveScript language
JavaScript
1
star
26

haskomplete

Type based auto-complete for Haskell
Haskell
1
star
27

parachat

Peer to peer chat service
Haskell
1
star
28

etymonline-scrape

Haskell
1
star
29

haskellgraph

A graph library in Haskell
Haskell
1
star
30

power2switch

Python
1
star
31

CalParse

English language parsing for describing calendar events
Haskell
1
star
32

todo

A simple, useful todo list app
Haskell
1
star
33

either

An either type for elm
Elm
1
star
34

bfhaskell

A brainfuck interpreter in Haskell
Haskell
1
star
35

Watch

iPad app to monitor my computer remotely
C
1
star
36

algdraw

A small library for visualizing groups through their Cayley representations
Haskell
1
star
37

Command-Line-Plotter

Plots functions in ASCII. Mostly written as an exercise to help me learn Ruby.
Ruby
1
star
38

oak

OCaml
1
star
39

queue

Elm
1
star
40

Bill-Paying-Problem

Racket
1
star
41

elmasaki

HTML
1
star
42

turing

Turing machine drawings and related things
Haskell
1
star
43

befunge

A befunge interpreter in Haskell
Haskell
1
star
44

Command-Line-Lyrics

Python
1
star
45

Textish

1
star
46

Course-Evaluations-Scraper

This is a data-scraper for the UChicago course evaluations website. You must have a valid cNet ID to use this program.
1
star
47

wire

An implementation of the language described in the paper "The Two Dualities of Computation: Negative and Fractional Types"
Haskell
1
star
48

UChicago-Course-Watcher

Monitors the UChicago course registration website, sending you an email and/or a text message if a course you want becomes available.
Python
1
star