linqing

linqing's Stars

• pingcap/tidb

  TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.

  Language:Go37.3k1.3k19.2k5.8k

• exacity/deeplearningbook-chinese

  Deep Learning Book Chinese Translation

  Language:TeX35.8k2.2k2029.1k

• scala/scala

  Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

  Language:Scala14.3k71803.1k

• reasonml/reason

  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

  Language:OCaml10.1k1691.5k428

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k353521987

• rescript-lang/rescript-compiler

  The compiler for ReScript.

  Language:ReScript6.7k1272.6k448

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.9k2078.8k1.1k

• typelevel/cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala5.3k1881.2k1.2k

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k74215141

• twitter/rsc

  Experimental Scala compiler focused on compilation speed

  Language:Scala1.2k7730854

• cemerick/friend

  An extensible authentication and authorization library for Clojure Ring web applications and services.

  Language:Clojure1.2k5999122

• DogLooksGood/parinfer-mode

  Parinfer for Emacs :)

  Language:Emacs Lisp407113933

• armedbear/abcl

  Armed Bear Common Lisp <git+https://github.com/armedbear/abcl/> <--> <svn+https://abcl.org/svn> Bridge

  Language:Common Lisp2912619529

• cookeem/CookIM

  Distributed web chat application base websocket built on akka.

  Language:Scala20823368

• racket/racket7

  Language:Racket1693999

• hulang1024/Scheme

  A Scheme interpreter written in C.

  Language:C64728

• collinsp/jquery-wm

  Lightweight window management Jquery plugin

  Language:CSS155

• linqing/ebb

  enterprise bbs

  Language:PHP7611

• linqing/liftbbs

  liftweb mongodb production ready bbs

  Language:Scala5201

• linqing/sicpclj

  sicp exercise in clojure

  Language:Clojure3200

• liango2/JavaLisp

  Lisp implementation in Java

  Language:Java1100

• linqing/yabe-lift

  Yet another blog engine implemented in lift

  Language:Scala1200