liutanyu

liutanyu's Stars

• jOOQ/jOOQ

  jOOQ is the best way to write SQL in Java

  Language:Java6.2k15617.1k1.2k

• Tencent/phxpaxos

  The Paxos library implemented in C++ that has been used in the WeChat production environment.

  Language:C++3.4k299169863

• jrfonseca/gprof2dot

  Converts profiling output to a dot graph.

  Language:Python3.2k7860384

• baidu/bfs

  The Baidu File System.

  Language:C++2.9k220249554

• aspnet/KestrelHttpServer

  [Archived] A cross platform web server for ASP.NET Core. Project moved to https://github.com/aspnet/AspNetCore

  Language:C#2.6k2861.5k528

• illumos/illumos-gate

  An open-source Unix operating system

  Language:C1.6k1500762

• dotnet/roslyn-analyzers

  Language:C#1.6k803.4k466

• ThoughtWorksInc/Binding.scala

  Reactive data-binding for Scala

  Language:Scala1.6k114101108

• BitFunnel/NativeJIT

  A C++ expression -> x64 JIT

  Language:C++1.1k617285

• rhomobile/rhodes

  The Rhodes framework is a platform for building locally executing, device-optimized mobile applications for all major smartphone devices.

  Language:C1.1k116258237

• StackExchange/NetGain

  A high performance websocket server library powering Stack Overflow.

  Language:C#9288419141

• janestreet/base

  Standard library for OCaml

  Language:OCaml86337101126

• taocpp/json

  C++ header-only JSON library

  Language:C++596349086

• aumcode/nfx

  C# Server UNISTACK framework [MOVED]

  Language:C#391516893

• pcostanza/closer-mop

  Closer to MOP is a compatibility layer that rectifies many of the absent or incorrect CLOS MOP features across a broad range of Common Lisp implementations.

  Language:Common Lisp151141719

• namin/staged-miniKanren

  staged relational interpreters: running with holes, faster

  Language:Racket12413516

• cdglabs/prolog-viz

  The best Prolog visualizer

  Language:JavaScript8413314

• soegaard/racket-cas

  Simple computer algebra system

  Language:Racket6191710

• kredel/java-algebra-system

  Java Algebra System (JAS) Project

  Language:Java442279

• zorba-processor/zorba

  Zorba - the NoSQL processor

  Language:C++4291916

• LispEngineer/genera-src

  Source code for various Genera projects of Douglas Fields

  Language:Common Lisp38415

• fedeinthemix/chez-scmutils

  Port of the 'MIT Scmutils' library to Chez Scheme.

  Language:Scheme37325

• pharo-nosql/voyage

  Voyage is an object persistence abstraction layer for Pharo.

  Language:Smalltalk33169521

• biboudis/sml-streams

  Streaming library for bulk memory operations with Standard ML in MLton

  Language:Standard ML28612

• kni/sml-ev

  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)

  Language:Standard ML24402

• Co-dfns/APL-Skeleton

  A basic APL Skeleton to get you started writing with APL

  Language:APL19504

• aposwolsky/delphin

  The Delphin Project

  Language:Standard ML9201

• jeapostrophe/z3-rkt

  Racket bindings for Z3

  Language:Racket230

• cvs77/jchord

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

  Language:Java11542

• jeapostrophe/non-det

  non-det - Racket non-determinism

  Language:Racket130