Pinned Repositories
awesome-computer-vision
A curated list of awesome computer vision resources
course-compiler
Reference implementation for the Essentials of Compilation course
csapp
Code for 15213 (Introduction to Computer Systems)
Dota2
A repo for Dota2
iu_c311
exercise for eopl and c311 of IU
mmd
code for mining massive datasets
seck-scheme
A scheme compiler that directly compiles to x86(In Progress)
sicp
my solutions to sicp
seckcoder's Repositories
seckcoder/course-compiler
Reference implementation for the Essentials of Compilation course
seckcoder/seck-scheme
A scheme compiler that directly compiles to x86(In Progress)
seckcoder/awesome-computer-vision
A curated list of awesome computer vision resources
seckcoder/Dota2
A repo for Dota2
seckcoder/smallScheme
A nanopass compiler written for a (substantial) subset of Scheme.
seckcoder/18656-final
18656-final
seckcoder/aerosolve
A machine learning package built for humans.
seckcoder/billow
Query AWS data without API credentials. Don't wait for a response.
seckcoder/ChezScheme
Chez Scheme
seckcoder/CircularList
C++ CircularList Implementation by Ciobanu Vladimir
seckcoder/foundationdb
FoundationDB - the open source, distributed, transactional key-value store
seckcoder/functionaljava
Functional programming in Java
seckcoder/Haskell-Demo
seckcoder/haskell-vim-now
One-line Haskell Vim install
seckcoder/lmbench
seckcoder/mysql-server
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
seckcoder/noisepage
Self-Driving Database Management System from Carnegie Mellon University
seckcoder/ocaml-abt
Abstract binding trees
seckcoder/Parser-Combinators
C++ parser combinator library
seckcoder/peloton
Street Strength Database Management System for Real-Time Analytics
seckcoder/PLTheory
seckcoder/racket-to-c
seckcoder/re1
Automatically exported from code.google.com/p/re1
seckcoder/sqlite
Unofficial git mirror of SQLite sources (see link for build instructions)
seckcoder/sregex
A non-backtracking regex engine matching on data streams
seckcoder/testing-distributed-systems
Curated list of resources on testing distributed systems
seckcoder/tidb
TiDB is an open source distributed HTAP database compatible with the MySQL protocol
seckcoder/type-theory-study-group-2015
Resources for Type Theory Study Group 2015
seckcoder/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
seckcoder/vim-cpp-mini-config
Minimal configuration for cpp in vim