Examples for the usage of LaTeX
Property-based testing for Scala
Fast, portable, non-Turing complete expression evaluation
Simplifies the development of creating a JPA-based data access layer
A desktop Laravel admin panel app
A durable Datalog implementation adaptable for distribution
Distributed scheduled job framework
Git Server with CI/CD, Kanban, and Packages
TLC is an explicit state model checker for specifications in TLA+
Spring Boot starter module for gRPC framework
Powerful, elegant and flexible test framework for Kotlin
A custom RPC framework implemented by Netty+Kyro+Zookeeper
A library for Amazon Neptune that enables AWS Signature Version
Useful tools when you are running your project inside docker container
Clojure & ClojureScript Language Server (LSP) implementation
A Kotlin API for generating .kt source files
Spring Boot starter module for gRPC framework
Build concurrent, distributed, and resilient message-driven apps
Development platform to generate and deploy modern web apps
Low-code enterprise web development platform
Use AWS Identity and (IAM) to connect to Amazon Managed Streaming
The Lux Programming Language
Reactive library to enable quick and easy development of bots
Simple, fast, safe, compiled language for developing software
JVM - Java, Kotlin, Scala image processing library