seckcoder

course-compiler

Reference implementation for the Essentials of Compilation course

seck-scheme

A scheme compiler that directly compiles to x86(In Progress)

awesome-computer-vision

A curated list of awesome computer vision resources

Dota2

A repo for Dota2

smallScheme

A nanopass compiler written for a (substantial) subset of Scheme.

18656-final

18656-final

aerosolve

A machine learning package built for humans.

billow

Query AWS data without API credentials. Don't wait for a response.

ChezScheme

Chez Scheme

CircularList

C++ CircularList Implementation by Ciobanu Vladimir

foundationdb

FoundationDB - the open source, distributed, transactional key-value store

functionaljava

Functional programming in Java

Haskell-Demo

haskell-vim-now

One-line Haskell Vim install

lmbench

mysql-server

MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

noisepage

Self-Driving Database Management System from Carnegie Mellon University

ocaml-abt

Abstract binding trees

Parser-Combinators

C++ parser combinator library

peloton

Street Strength Database Management System for Real-Time Analytics

PLTheory

racket-to-c

re1

Automatically exported from code.google.com/p/re1

sqlite

Unofficial git mirror of SQLite sources (see link for build instructions)

sregex

A non-backtracking regex engine matching on data streams

testing-distributed-systems

Curated list of resources on testing distributed systems

tidb

TiDB is an open source distributed HTAP database compatible with the MySQL protocol

type-theory-study-group-2015

Resources for Type Theory Study Group 2015

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

vim-cpp-mini-config

Minimal configuration for cpp in vim