utaal Goto Github PK

abomonation

A mortifying serialization library for Rust

blip

A queue of queues

cargo-test

christmas

composer

Dependency Manager for PHP

conque-shell

Temporary vundle mirror for Conque Shell vim plugin

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

dafny

Dafny is a verification-aware programming language

database-stream-processor

Streaming and Incremental Computation Framework

dataflow-join

An implementation of Ngo et al's GenericJoin in timely dataflow.

differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.

docker-chrome-xvfb-node

Docker with chrome and latest node for in-browser testing

docs

The MongoDB Documentation Project Source.

dotnet-core-sdk-make-perf-docker

Dockerfile for dotnet core with make and perf

getopts

hdrhist

Small footprint hdr histogram in rust

hdrhist-cpp

Small footprint hdr histogram in c++ (header-only)

homebrew

The missing package manager for OS X.

homebrew-cask

A CLI workflow for the administration of Mac applications distributed as binaries

homebrew-tap

http4s

A minimal, idiomatic Scala interface for HTTP

infinity

A lightweight C++ RDMA library for InfiniBand networks.

infinity-rust

A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand

internal-project

Training @ Git-Merge 2015

internal-project-docs

Training @ Git-Merge 2015

jdk8u-jdk

jupyterhub

JupyterHub docker image for the compmodels class

kantan.csv

CSV handling library for Scala

latex-pandoc-docker

libuv

platform layer for node.js