liutanyu's Stars
mishoo/UglifyJS
JavaScript parser / mangler / compressor / beautifier toolkit
mransan/ocaml-protoc
A Protobuf Compiler for OCaml
melsman/kitlib
Collection of Standard ML libraries
alkasir/alkasir
melsman/aplcompile
APL compiler written in Standard ML
microsoft/CodeContracts
Source code for the CodeContracts tools for .NET
Netflix/Hystrix
Hystrix is a latency and fault tolerance library designed to isolate points of access to remote systems, services and 3rd party libraries, stop cascading failure and enable resilience in complex distributed systems where failure is inevitable.
openethereum/parity-ethereum
The fast, light, and robust client for Ethereum-like networks.
Frege/frege
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
willemdj/erlsom
XML parser for Erlang
bet365/soap
Make it easy to use SOAP from Erlang
neilalexander/sigmavpn
Light-weight, secure and modular VPN solution which makes use of NaCl encryption (also available for Android using jnacl in "sigmavpn-android")
basho/machi
Machi file store
iislucas/isaplib
Isabelle/IsaPlanner SML Library (for PolyML)
tensorflow/serving
A flexible, high-performance serving system for machine learning models
scalaz/scalaz
Principled Functional Programming in Scala
rust-lang/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
aantron/bisect_ppx
Code coverage for OCaml and ReScript
shadowsocks/ChinaDNS
Protect yourself against DNS poisoning in China.
awesomedata/awesome-public-datasets
A topic-centric list of HQ open datasets.
signalapp/Signal-Android
A private messenger for Android.
hyrise/hyrise-v1
HYRISE In-Memory Hybrid Storage Engine (archived, now developed in hyrise/hyrise repo)
google/seesaw
Seesaw v2 is a Linux Virtual Server (LVS) based load balancing platform.
cffi/cffi
The Common Foreign Function Interface
sionescu/iolib
Common Lisp I/O library
nstack/stackhut
StackHut Microservices Platform
intel/idlf
Intel® Deep Learning Framework
facebook/transform360
Transform360 is an equirectangular to cubemap transform for 360 video.
download-git/BerkeleyDB
unofficial mirror of BerkeleyDB cpp source code
processone/tsung
Tsung is a high-performance benchmark framework for various protocols including HTTP, XMPP, LDAP, etc.