Giters
Tan-Yu Liu (liutanyu)

liutanyu

Geek Repo

13

followers

60

following

538

stars

Github PK Tool:Github PK Tool

Tan-Yu Liu's starred repositories

jOOQ

jOOQ is the best way to write SQL in Java

Language:JavaLicense:NOASSERTIONStargazers:6044Issues:156Issues:16535

phxpaxos

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

Language:C++License:NOASSERTIONStargazers:3333Issues:298Issues:169

gprof2dot

Converts profiling output to a dot graph.

Language:PythonLicense:LGPL-3.0Stargazers:3150Issues:78Issues:57

bfs

The Baidu File System.

Language:C++License:BSD-3-ClauseStargazers:2855Issues:219Issues:249

KestrelHttpServer

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

Language:C#License:Apache-2.0Stargazers:2631Issues:288Issues:1457

Binding.scala

Reactive data-binding for Scala

Language:ScalaLicense:MITStargazers:1584Issues:115Issues:101

illumos-gate

An open-source Unix operating system

Language:CStargazers:1577Issues:151Issues:0

roslyn-analyzers

Language:C#License:MITStargazers:1555Issues:78Issues:3346

NativeJIT

A C++ expression -> x64 JIT

Language:C++License:MITStargazers:1133Issues:61Issues:72

rhodes

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

Language:CLicense:MITStargazers:1047Issues:116Issues:257

NetGain

A high performance websocket server library powering Stack Overflow.

Language:C#License:MITStargazers:933Issues:84Issues:19

base

Standard library for OCaml

Language:OCamlLicense:MITStargazers:841Issues:37Issues:100

json

C++ header-only JSON library

Language:C++License:MITStargazers:586Issues:34Issues:89

nfx

C# Server UNISTACK framework [MOVED]

Language:C#License:NOASSERTIONStargazers:389Issues:52Issues:68

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 LispLicense:MITStargazers:148Issues:14Issues:17

staged-miniKanren

staged relational interpreters: running with holes, faster

Language:RacketStargazers:123Issues:13Issues:4

prolog-viz

The best Prolog visualizer

Language:JavaScriptStargazers:83Issues:13Issues:3

racket-cas

Simple computer algebra system

Language:RacketStargazers:60Issues:9Issues:17

java-algebra-system

Java Algebra System (JAS) Project

Language:JavaLicense:GPL-2.0Stargazers:44Issues:2Issues:27

zorba

Zorba - the NoSQL processor

Language:C++License:Apache-2.0Stargazers:42Issues:9Issues:19

genera-src

Source code for various Genera projects of Douglas Fields

Language:Common LispLicense:NOASSERTIONStargazers:38Issues:4Issues:1

chez-scmutils

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

Language:SchemeStargazers:37Issues:3Issues:2

voyage

Voyage is an object persistence abstraction layer for Pharo.

Language:SmalltalkLicense:MITStargazers:33Issues:16Issues:94

sml-streams

Streaming library for bulk memory operations with Standard ML in MLton

Language:Standard MLStargazers:27Issues:6Issues:1

sml-ev

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

Language:Standard MLLicense:BSD-3-ClauseStargazers:22Issues:4Issues:0

APL-Skeleton

A basic APL Skeleton to get you started writing with APL

Language:APLLicense:UnlicenseStargazers:18Issues:5Issues:0

delphin

The Delphin Project

Language:Standard MLStargazers:9Issues:0Issues:0

z3-rkt

Racket bindings for Z3

Language:RacketStargazers:2Issues:0Issues:0

jchord

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

Language:JavaStargazers:1Issues:0Issues:0

non-det

non-det - Racket non-determinism

Language:RacketLicense:NOASSERTIONStargazers:1Issues:3Issues:0