SuperComputing 2017 Deep Learning Tutorial

Format Rust code

Candidates for inclusion in the Rust standard library

This repository has moved

Design by contract style assertions for Rust

Cryptol: The Language of Cryptography

A Proof-oriented Programming Language

Completely OBSOLETE Rust HTTP library (server and client)

Automated property based testing for Rust (with shrinking).

A Makefile to get started with Rust (DEPRECATED)

An MVC library for writing interactive webpages in OCaml

Bundle for vim to highlight adjectives, weasel words and passive language

A professional front-end template for building fast, robust, and adaptable web apps or sites.

Universal toplevel for OCaml

Moved to aliceml/aliceml

Functional data structures for Riak

Strange Loop 2013

Functional Programming Course

Implementation of the SPDY protocol in ocaml

An attempt to build a SPDY-HTTP reverse proxy in pure Python (as far as is reasonable)

nanomsg library

Haskell library implementing OpenFlow protocol versions 1.0 and 1.3

A module for freestanding Rust programs

WIP rust implementation of the WHATWG Encoding Standard

TLS in Rust (eventually)

Lens Proposal for a Haskell-like Language

OCaml "reentrant runtime" experimental branch

A Quake 3 like game with voxelized, destructible maps; written in Rust

Statically-typed heterogenous hash table