Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Generate the API Client for Fetch or Axios from an OpenAPI Specification

Termux - a terminal emulator application for Android OS extendible by variety of packages.

A versatile and efficient proxy framework with nice features suitable for various use cases.

A Rust port of shadowsocks

tun2socks - powered by gVisor TCP/IP stack

A logic programming library for Clojure & ClojureScript

note-book 的第二分仓

GitLab4J API (gitlab4j-api) provides a full featured Java client library for working with GitLab repositories via the GitLab REST API

Java implementation of the Biscuit authentication and authorization token

Evrete is a lightweight and intuitive Java rule engine.

Rust bindings to the Java Native Interface — JNI

Open Policy Agent (OPA) is an open source, general-purpose policy engine.

Datalog that's as easy as ABC.

The Next Generation Logic Library

A local DNS server to obtain the fastest website IP for the best Internet experience, support DoT, DoH. 一个本地DNS服务器，获取最快的网站IP，获得最佳上网体验，支持DoH，DoT。

A React-based library for creating sleek presentations using JSX syntax that gives you the ability to live demo your code.

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

An extremely easy way to perform background processing in Java. Backed by persistent storage. Open and free for commercial use.

JavetBuddy is Javet + ByteBuddy. JavetBuddy enhances JVM via bytecode by JavaScript.

Javet is Java + V8 (JAVa + V + EighT). It is an awesome way of embedding Node.js and V8 in Java.

Markdown for the component era

A modern runtime for JavaScript and TypeScript.

In-memory trie based router for fast parallel path lookups with wildcards.

Layout algorithms for graphs.

Javascript constraint-based graph layout

A Force Directed Graph Drawing Library

Graph data structure library for Rust.

Optimized string search routines for Rust.