imeckler Goto Github PK

queue

r

A simple program for making decisions randomly

ratio

Ratio library for elm

rayon

Rayon: A data parallelism library for Rust

rpc_parallel

Type-safe library for building parallel applications, built on top of Async's Rpc module.

salad-bowl

shortwords

sml-syntastic

Syntastic checker for SML

snark-challenge

Coda + Dekrypt: The SNARK Challenge - Reference Material

snarky-formal-verification

Experiment to formally verify snarky code

stage

"Pure signals" for making animations in elm

stationary

A static site generator library for OCaml

symbolic-calculus

A symbolic derivatives calculator for functions from R^n -> R^m written in Idris

talkandbeer

tech-coops

A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.

telephone

Phone-desktop communication

tern

Project tracker

textish

theorems

Just some theorems in Agda, Coq, Idris, etc

todo

A simple, useful todo list app

tsuru_sample

Sample Haskell code for Tsuru

turing

Turing machine drawings and related things

turing-elm

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.

uhp

Upper half plane explorer

virtual_dom

Virtual_dom bindings for js_of_ocaml

watch

iPad app to monitor my computer remotely

weather-example

Example for teaching OCaml

webcamltemplate

wire

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