Skip to content
View liutanyu's full-sized avatar

Block or report liutanyu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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

Scheme 37 5 Updated Aug 29, 2024

Java Algebra System (JAS) Project

Java 44 9 Updated May 9, 2024

Simple computer algebra system

Racket 63 10 Updated Dec 19, 2024

staged relational interpreters: running with holes, faster

Racket 126 16 Updated Nov 15, 2024

non-det - Racket non-determinism

Racket 1 Updated Dec 2, 2022

A basic APL Skeleton to get you started writing with APL

APL 19 4 Updated Feb 14, 2018

An open-source Unix operating system

C 1,688 769 Updated Jan 22, 2025

Voyage is an object persistence abstraction layer for Pharo.

Smalltalk 33 21 Updated Nov 4, 2024

The Baidu File System.

C++ 2,855 553 Updated Dec 3, 2018

Source code for various Genera projects of Douglas Fields

Common Lisp 39 5 Updated May 6, 2021

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.

Common Lisp 158 19 Updated Dec 29, 2024

Converts profiling output to a dot graph.

Python 3,263 391 Updated Nov 22, 2024

Zorba - the NoSQL processor

C++ 42 17 Updated Dec 13, 2023

Reactive data-binding for Scala

Scala 1,584 108 Updated Jan 5, 2025

Streaming library for bulk memory operations with Standard ML in MLton

Standard ML 28 2 Updated Mar 16, 2015

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

Standard ML 24 2 Updated May 15, 2024

Standard library for OCaml

OCaml 880 129 Updated Nov 21, 2024

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

Java 1 2 Updated Apr 22, 2015

A high performance websocket server library powering Stack Overflow.

C# 929 142 Updated Jan 8, 2019

The best Prolog visualizer

JavaScript 85 14 Updated Dec 2, 2022

Racket bindings for Z3

Racket 2 Updated Sep 7, 2016

C++ header-only JSON library

C++ 617 88 Updated Dec 29, 2024

C# Server UNISTACK framework [MOVED]

C# 391 93 Updated Jan 14, 2019

The Delphin Project

Standard ML 9 1 Updated Aug 19, 2016

jOOQ is the best way to write SQL in Java

Java 6,264 1,211 Updated Jan 21, 2025

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

C# 2,620 524 Updated Nov 22, 2018

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

C 1,049 237 Updated Jan 17, 2025

A C++ expression -> x64 JIT

C++ 1,143 84 Updated Aug 21, 2020

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

C++ 3,358 863 Updated Dec 4, 2023
Next