novemser Goto Github PK

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

administrate

A Rails engine that helps you put together a super-flexible admin dashboard.

amazondatawarehouse

awesome-java

A curated list of awesome Java frameworks, libraries and software.

broadleafcommerce

Broadleaf Commerce - Enterprise eCommerce framework based on Spring

bustub

The BusTub Relational Database Management System (Educational)

calabashbrothersfight

:boy:An interesting online interactive Go tutorial concerning about multi-threading

carpool

cockroach

CockroachDB - the open source, cloud-native SQL database.

cubemix

Play IBM Object Storage service in Minecraft!

deep-imitation

Deep learning imitation

delta

An open-source storage layer that brings scalable, ACID transactions to Apache Spark™ and big data workloads.

dssm

An implementation of distributed structure expansion/reduction(SER) and structure transfer (STRUT) model transfer algorithm.

eos

A simple operation system

etcd

Distributed reliable key-value store for the most critical data of a distributed system

examples

A collection of TLA+ specifications of varying complexities

fairseq

Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

githubrepositoriesdownloader

Download all repositories from github.

gjvm

A simple implementation of JVM using go

googleaiwintercamp-img2poem

hci-voiceassistant

Human-Computer Interaction final project. A Turing machine.

hosts

:statue_of_liberty:最新可用的google hosts文件。镜像：

inmemorytelecomservice

Oracle TimesTen 内存数据库项目

itongji-app

An application which is aiming at helping the students of Tongji University with their everyday lives.

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

janus

java-design-patterns

Design patterns implemented in Java

javasecurity

Learn Security mechanism in java

jmockit1

Advanced Java library for integration testing, mocking, faking, and code coverage

learnjava

Everything that is worthy of trying in code.