liutanyu

liutanyu's Stars

• svenvc/zinc

  Zinc HTTP Components is an open-source Smalltalk framework to deal with the HTTP networking protocol.

  Language:Smalltalk9756

• arcfide/goscher

  Pure Scheme Gopher Server

  Language:Scheme10

• cracauer/sbcl-ita

  The SBCL Common Lisp compiler with ITA's patches

  Language:Common Lisp211

• ossu/data-science

  📊 Path to a free self-taught education in Data Science!

  19.1k3.4k

• russellallen/self-webserver

  A small simple webserver for Self

  Language:Self123

• RobertHarper/TILT-Compiler

  Standard ML compiler based on typed intermediate languages.

  Language:Standard ML463

• facebookresearch/darkforestGo

  DarkForest, the Facebook Go engine.

  Language:C2.1k325

• MicrosoftEdge/WebGL

  Microsoft Edge WebGL Implementation

  Language:C++71366

• saswatanand/symexbib

  A bibliography of papers related to symbolic execution

  28358

• xiw/mini-mc

  minimal symbolic model checker & fuzzer

  Language:Python11123

• sweirich/tal

  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

  Language:Haskell14213

• jmid/camljoos0

  A simple compiler for a small subset of Java 1.3

  Language:OCaml31

• concurrencykit/ck

  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.

  Language:C2.4k312

• facebookarchive/fbctf

  Platform to host Capture the Flag competitions

  Language:Hack6.5k1.3k

• twitter-archive/distributedlog

  A high performance replicated log service. (The development is moved to Apache Incubator)

  Language:Java2.2k285

• chinashiyu/gfw.press

  GFW.Press新一代军用级高强度加密抗干扰网络数据高速传输软件

  Language:Java1.6k418

• sourcegraph/srclib

  srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java, with Python, JavaScript, and Ruby in beta) with a common output format, and a CLI tool for running the analysis.

  Language:Go94262

• sourcegraph/srclib-python

  Language:Python2813

• milessabin/shapeless

  Generic programming for Scala

  Language:Scala3.4k533

• keyz/p423-compiler

  A Scheme to x86-64 compiler in Scheme

  Language:Scheme7847

• typelevel/scalacheck

  Property-based testing for Scala

  Language:Scala1.9k408

• servo/servo

  Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

  Language:Rust28.4k3k

• dharmatech/mpl

  Computer Algebra and Symbolic Computation for R6RS Scheme

  Language:Scheme625

• cmu-db/mongodb-d4

  Automatic MongoDB database designer

  Language:Python556

• libgdx/libgdx

  Desktop/Android/HTML5/iOS Java game development framework

  Language:Java23.4k6.4k

• mntmn/amiga2000-gfxcard

  MNT VA2000, an Open Source Amiga 2/3/4000 Graphics Card (Zorro II/III), written in Verilog

  Language:Verilog99877

• namin/higher-rank

  Practical type inference for arbitrary-rank types

  Language:Haskell101

• mit-pdos/fscq

  FSCQ is a certified file system written and proven in Coq

  Language:Coq23621

• uwplse/verdi

  A framework for formally verifying distributed systems implementations in Coq

  Language:Coq58956

• mguida22/flights

  Visualizations of U.S. flight data

  Language:JavaScript122