TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Jun 21, 2025 - Java
#
mit-license
Here are 134 public repositories matching this topic...
cas单点登录系统，其中包括cas认证服务，配置中心，监控平台，服务管理的高可用项目
github java docker dockerfiles oauth2 tutorial spring-boot spring-cloud authorization cas sso mit-license sso-login websso csdn wechat-login qq-login
-
Updated
Dec 16, 2023 - Java
Send bulk messages right from your WhatsApp Android Client or WhatsApp Web
javascript android chrome-extension chrome automation chrome-browser android-application chrome-plugin whatsapp root mit-license whatsapp-web chrome-extensions hacktoberfest whatsapp-client whatsapp-api whatsapp-android bulk-messages whatsapp-sender whatsapp-bulk-sender
-
Updated
Jan 3, 2021 - Java
Simple Bluetooth Android app for handling device discovery and pairing.
-
Updated
Sep 17, 2021 - Java
dApp scaffold for react native apps
typescript react-native crypto blockchain scaffold starter-template starter cryptocurrency mit-license web3 web3js solana solana-react-native solana-react solana-native
-
Updated
Sep 10, 2022 - Java
Java bindings for tree-sitter
tree-sitter parser library parsing syntax-tree jni mit-license parsing-library symbolic-expressions linux-support language-agnostic java-11 xml-export mac-support incremental-parsing tree-sitter-binding
-
Updated
Jun 9, 2025 - Java
Halma Game Built With The Awesome libGDX framework
-
Updated
Jun 17, 2025 - Java
Project Toohak, a free, open-source, socket-based LAN version of Kahoot! (the online quiz game)
-
Updated
Jan 8, 2019 - Java
This is an Android bluetooth client server library for communication any device via bluetooth with Serial Port Profile (SPP).
-
Updated
Aug 17, 2024 - Java
Amazon, Apple, Goldman Sachs, Google, Meta, Microsoft, Netflix tech interview questions
-
Updated
Oct 2, 2023 - Java
☕️ A simple Java Library to build gamepads with 🖱🕹
java api fast multi-platform library mit simple jar mouse free easy-to-use java-api easy java-library mit-license multiple-monitors easy-to-understand
-
Updated
Feb 29, 2024 - Java
☕️ A simple Java Library to send commands to the Keyboard ⚙️⌨️
java api fast keyboard multi-platform library mit simple jar free easy-to-use java-api easy java-library mit-license multiple-monitors easy-to-understand
-
Updated
Feb 29, 2024 - Java
A Java implementation of the Raft consensus algorithm
-
Updated
Apr 24, 2025 - Java
🔧 A tool which aims to generate code by using MyBatis Generator with Gradle in IntelliJ IDEA.
-
Updated
Feb 5, 2017 - Java
Android logging done right
-
Updated
Feb 19, 2019 - Java
An Entity Component System written in Java, based on Austin Morlan's C++ ECS.
java windows macos ubuntu entity-component-system mit-license entity-component maven-repository slope-ecs
-
Updated
Mar 13, 2022 - Java
spring-boot email-sender eclipse-ide java-8 mit-license gmail-api static-file without-attachment mimebodypart
-
Updated
May 16, 2021 - Java
A java spring boot standalone notification service
java open-source boilerplate kafka spring-boot boilerplate-template scalability postgresql notification-service design-patterns notification kafka-consumer mit-license
-
Updated
Jan 8, 2023 - Java
Improve this page
Add a description, image, and links to the mit-license topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mit-license topic, visit your repo's landing page and select "manage topics."