liutanyu

liutanyu's Stars

• nginx/nginx

  The official NGINX Open Source repository.

  Language:C25.1k9831017k

• RT-Thread/rt-thread

  RT-Thread is an open source IoT Real-Time Operating System (RTOS).

  Language:C10.5k5311.4k5k

• puniverse/quasar

  Fibers, Channels and Actors for the JVM

  Language:Java4.6k281284574

• froggey/Mezzano

  An operating system written in Common Lisp

  Language:Common Lisp3.6k18764188

• chipsalliance/rocket-chip

  Rocket Chip Generator

  Language:Scala3.3k1979711.1k

• Tencent/phxsql

  A high availability MySQL cluster that guarantees data consistency between a master and slaves.

  Language:C++2.5k267169557

• jameysharp/corrode

  C to Rust translator

  Language:Haskell2.2k68124116

• orbit/orbit

  Orbit - Virtual actor framework for building distributed systems

  Language:Kotlin1.7k111110173

• elixir-lang/gen_stage

  Producer and consumer actors with back-pressure for Elixir

  Language:Elixir1.5k57130193

• UWNetworksLab/uProxy-p2p

  Internet without borders

  Language:TypeScript8651061.8k182

• trifork/erjang

  A JVM-based Erlang VM

  Language:Java726447762

• RTEMS/rtems

  Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems

  Language:C647910372

• zenogantner/MyMediaLite

  recommender system library for the CLR (.NET)

  Language:C#50350451189

• cmu-db/dbdb.io

  The On-line Database of Databases

  Language:Python492227439

• Kha/electrolysis

  Simple verification of Rust programs via functional purification in Lean 2(!)

  Language:Lean3361456

• dmlc/difacto

  Distributed Factorization Machines

  Language:C++296381594

• yxymit/DBx1000

  Language:C++2782229111

• sharplispers/clx

  a fork of crhodes' fork of danb's fork of the CLX library, an X11 client for Common Lisp

  Language:Common Lisp116179646

• UBMLtonGroup/RTMLton

  MLton with Realtime GC and Threading features

  Language:Standard ML1021592

• brownplt/LambdaJS

  Semantics and tools for JavaScript

  Language:JavaScript9020618

• dmlc/experimental-mf

  cache-friendly multithread matrix factorization

  Language:C++8723132

• brownplt/LambdaS5

  Semantics for ES5

  Language:OCaml81194612

• LexiFi/csml

  High-level bindings between .Net and OCaml

  Language:OCaml65815

• hunt-framework/hunt

  A flexible, lightweight search platform

  Language:Haskell591210010

• markusweimer/cofirank

  CofiRank

  Language:C++575225

• ChrisVine/chez-a-sync

  Asynchronous event loop for chez scheme with await semantics

  Language:Scheme38426

• franzinc/clx

  Common Lisp X11 interface

  Language:Common Lisp16601

• brownplt/strobe

  The Strobe Type Checker for JavaScript

  Language:JavaScript159720

• tbk303/hcron

  Very simple job scheduler for Haskell

  Language:Haskell10001

• fvideon/Webviewer

  CXP WebViewer

  Language:C#3205