Search Results for "java programs"

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

Spoon is an open-source library to analyze, rewrite, transform, transpile Java source code. It parses source files to build a well-designed AST with powerful analysis and transformation API. It supports modern Java versions up to Java 20. Spoon is an official Inria open-source project, and member of the OW2 open-source consortium.

one C/C++ file & header ==> 8 functions: - beep - tray notify popup - message & question - input & password - save file - open file(s) - select folder - color picker complements OpenGL Vulkan GLFW GLUT GLUI VTK SFML TGUI SDL Ogre Unity3d ION OpenCV CeGui MathGL GLM CPW GLOW Open3D ImGui MyGui GLT NGL STB Nuklear Fenster MicroUi & head-less programs NO INIT NO MAIN LOOP NO LINKING NO INCLUDE win (XP to 11) ASCII MBCS UTF-8 UTF-16 (wchar_t) - native dialogs osx/unix ASCII UTF-8 - applescript kdialog zenity shanty … ° SSH console / X forwarding / waypipe Wayland ° the dialogs can be forced into console mode ° curses dialogs via Dialog.exe/Dialog (disabled by default) C89/C23 & C++98/C++23 compliant VisualStudio MinGW GCC Clang TinyCC IntelCC OWCC BCC SunCC on Windows Mac Linux Bsd Solaris Minix Raspbian Flatpak Haiku bindings: VCPKG C# R Lua Rust Haskell Java AllegroBasic Fortran Pascal D JavaScript Kotlin click tab 'Files' for prototypes

javaboy-code-samples is a well-curated collection of Java code examples and demo projects assembled by a prolific instructor and blogger to illustrate key concepts in backend development. Rather than focusing on a single application, it groups many small sample programs and projects that exemplify usage of Java core APIs, Spring Boot, frameworks like GRPC and Shiro, REST services, JWT, web security, caching, asynchronous processing, and database interactions. ...

UCanAccess is a pure Java JDBC Driver implementation which allows Java developers and JDBC client programs to read/write Microsoft Access database (.mdb and .accdb) files. No ODBC needed.

Netty Demos is a Java example collection that accompanies the Chinese Netty 4.x User Guide and a related practical book. It lets readers compare standard blocking I/O, NIO, AIO, and Netty implementations of similar network programs. The repository includes echo, discard, time, TCP, UDP, HTTP, HTTP/2, and WebSocket examples. Additional samples explain ByteBuffer, ByteBuf usage modes, thread pools, the Reactor pattern, heartbeat handling, and custom codecs.

This is the home of my current Java projects, including a few libraries and programs for various purposes.

NOTE: This is a sf.net/subversion clone from https://github.com/wipu/iwant A java-based declarative, multi-threaded and incremental build system that provides a fluent java API for writing build programs. Can use ant tasks and ant and shell scripts as backend.

Light library for easy translation of Java programs using annotations and reflection.

This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of...

This library is intended as an application framework. It should ease the creation of classic desktop programs with support for multiple languages, a help- and setup system, file handling and more.

CmdConfig aims to provide lightweight command line argument parsing for Java programs, beginning with single-character option parsing and adding more advanced features in the future.

Py4J enables Python programs to dynamically access arbitrary Java objects. Methods are called as if the Java objects resided in the Python virtual machine. There is no code to generate and no interface to implement for shared objects on both sides.

Java/JNI interface to some terminal functions; allows to use non-canonical input, input timeout, echo-off mode, terminal colors in Java programs.

JMacAdapter is a Mac OS X adapter for Java built as a reflective wrapper for com.apple.eawt.*, allowing programs to look and behave like native Mac OS X applications without having to depend on com.apple.eawt.* imports, which are often unavailable.

Jaxil (Java XML interface library) is a project for connecting programs together.

A Java library to provide a progress indicator on the command line, for command line programs that can take a long time to run with little feedback.