Lists (5)
Starred repositories
18
stars
written in Java
Clear filter
Termux - a terminal emulator application for Android OS extendible by variety of packages.
Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)
JanusGraph: an open-source, distributed graph database
Lightweight Java and Android library for integration with Ethereum clients
Android client SDK for communicating with OAuth 2.0 and OpenID Connect providers.
A graph database that supports more than 100+ billion data, high performance and scalability (Include OLTP Engine & REST-API & Backends)
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
FlowDroid Static Data Flow Tracker
A lightweight, fast and reliable tun2socks for Android
🔍An open source GitLab/Gitee/Gitea code search tool. Kooder 是一个为 Gitee/GitLab 开发的开源代码搜索工具，这是一个镜像仓库，主仓库在 Gitee。
Offline-first data sync framework: bidirectional synchronization between SQLite and MS SQL, MySQL, Oracle, and PostgreSQL.
Datalog with support for SMT queries and first-order functional programming
TextHighlighter is a simple android library to show highlighted and styled text in android apps.
Balzac is a domain-specific language to write Bitcoin transactions.
Tool for dumping the schema and data from a database. Compatible with JDBC-compliant databases by using java.sql.DatabaseMetaData features
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin