buptjk Goto Github PK

100-gdb-tips

A collection of gdb tips. 100 maybe just mean many here.

cpp-primer

C++ Primer 5th edtion exercises

cracking-the-coding-interview

Python solutions for the book Cracking the Coding Interview

ctci

Cracking the Coding Interview

duplo

A opinionated, framework-less build tool for web applications

jgraphx

kkndme_tianya

天涯 kkndme 神贴聊房价

leon

The Leon system for verification, synthesis, and more.

libvmi

nafos

基于Netty的Http/socket高性能轻度应用框架，支持Json，Protobuffer，无缝兼容spring，绝对是微服务的不错选择。

netty-http

Netty HTTP 协议栈的简单实践

netty-http-server

Springboot项目中使用Netty来替代传统Web容器，提升性能，简化配置

resume

个人中文简历 Latex 源码

sample-applications

Sample applications that go with the book Play for Scala

sbt-web-presentation

A presentation on the forthcoming JS architecture for sbt and Play

scabolic

Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.

scala-csv

CSV Reader/Writer for Scala

scala-smtlib

SMT-LIB library for Scala

scala-tour

A cooler tour the same as scala language

scalaswingcontrib

Collection of community contributions to Scala Swing

scalaz3

Binders and more to the Z3 SMT solver for Scala

spark

Mirror of Apache Spark

spark-workshop

A Typesafe Activator tutorial for Apache Spark.

spark_multiboost

An implementation of the multi-class/multi-label classifier, of which the training is carried out using AdaBoost.MH on Apache Spark.

treelite

model compiler for decision tree ensembles