TLC is an explicit state model checker for specifications in TLA+
Complete Collection of 151 Problems
Asciidoc Editor and Toolchain written with JavaFX 19
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
An assorted miscellany of tools and toys.
ALFOUR Programming language. Simple, safe, power, multi-platform.
Example for the go pkg's function
A minimal programming example for a chat server
Aims to learn Spring source code and understand principles of Spring
Collection of Java code examples and demo projects
front-end source code, project based on Spring Boot 2.7.18
A simple and elegant Android native UI framework
The fast scanner generator for Java™ with full Unicode support
Search and select country or international phone code
Safe, performant, user-friendly and lightweight Haskell library
Write iOS&macOS&Android Code using Dart
NMEA 0183 library for Java
Wonderful reusable code from Twitter
Best practices in Coding, Designing and Architecting Java Applications
This book uses templates open-sourced by Chen Shuo
Code scanner library for Android, based on ZXing
Make your native android Toasts Fancy
Core business process engine of Alibaba Halo platform
A code rewrite tool for structural search and replace that supports
Sample code for Google Cloud Vision