imeckler/compellingproof imeckler/compellingproof

  • Stars
    star
    2
  • Language
    JavaScript
  • Created almost 11 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
imeckler/compellingproof
github

imeckler

Reviews

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

Repository Details

A library for writing animated proofs

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

1d-automata

1 dimensional cellular automaton simulator
Haskell
2
star
22

tsuru_sample

Sample Haskell code for Tsuru
Haskell
2
star
23

intSched

Interactive scheduler 2.0
JavaScript
1
star
24

LiveScript-Meteor-Package

A Meteor package for the LiveScript language
JavaScript
1
star
25

haskomplete

Type based auto-complete for Haskell
Haskell
1
star
26

parachat

Peer to peer chat service
Haskell
1
star
27

etymonline-scrape

Haskell
1
star
28

haskellgraph

A graph library in Haskell
Haskell
1
star
29

power2switch

Python
1
star
30

CalParse

English language parsing for describing calendar events
Haskell
1
star
31

todo

A simple, useful todo list app
Haskell
1
star
32

either

An either type for elm
Elm
1
star
33

bfhaskell

A brainfuck interpreter in Haskell
Haskell
1
star
34

Watch

iPad app to monitor my computer remotely
C
1
star
35

algdraw

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

Command-Line-Plotter

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

oak

OCaml
1
star
38

queue

Elm
1
star
39

Bill-Paying-Problem

Racket
1
star
40

elmasaki

HTML
1
star
41

turing

Turing machine drawings and related things
Haskell
1
star
42

befunge

A befunge interpreter in Haskell
Haskell
1
star
43

Command-Line-Lyrics

Python
1
star
44

Textish

1
star
45

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
46

funwithtypes

Some explorations of types. Type system implementation, theorem proving, etc
Haskell
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