TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Jun 26, 2024 - Java
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
cas单点登录系统,其中包括cas认证服务,配置中心,监控平台,服务管理的高可用项目
Send bulk messages right from your WhatsApp Android Client or WhatsApp Web
Simple Bluetooth Android app for handling device discovery and pairing.
dApp scaffold for react native apps
Project Toohak, a free, open-source, socket-based LAN version of Kahoot! (the online quiz game)
Halma Game Built With The Awesome libGDX framework
Java bindings for tree-sitter
This is an Android bluetooth client server library for communication any device via bluetooth with Serial Port Profile (SPP).
A classic inspired shoot em' up game written in Java with JavaFX and FXGL.
🔧 A tool which aims to generate code by using MyBatis Generator with Gradle in IntelliJ IDEA.
Android logging done right
A Java implementation of the Raft consensus algorithm
Amazon, Apple, Goldman Sachs, Google, Meta, Microsoft, Netflix tech interview questions
☕️ A simple Java Library to send commands to the Keyboard ⚙️⌨️
☕️ A simple Java Library to build gamepads with 🖱🕹
An Entity Component System written in Java, based on Austin Morlan's C++ ECS.
An insanely fast and lightweight key value database with json and binary support. Provides insanely fast binary protocol server alongside with simple and robust REST service. One database to to rule them all.
Add a description, image, and links to the mit-license topic page so that developers can more easily learn about it.
To associate your repository with the mit-license topic, visit your repo's landing page and select "manage topics."