Lean 4 programming language and theorem prover

A not-so-small Forth for Cortex-M

SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.

Java API for using Google Maps within a JavaFX application.

Represents the foundation of cross-platform application development, seamlessly integrating the power of JavaFX with the limitless potential of web-based applications running via JPro.

Tray Icon implementation for JavaFX applications. Say goodbye to using AWT's SystemTray icon, instead use a JavaFX Tray Icon.

Declarative GUI for desktop apps in Scala

Apache Karaf Cellar, clustering and reeplication platform for Apache Karaf

sbt plugin for creating OSGi bundles

ScalaTags is a small XML/HTML construction library for Scala.

The official repository for the Rock the JVM Spark Essentials with Scala course

Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)

Rapid development of self-documenting APIs

gRPC implementation for FS2/cats-effect

The Scala 3 compiler, also known as Dotty.

Notebook support for Wolfram Language in VS Code

Extend Mathematica with LibraryLink and C++ with ease

Integrates the Wolfram Language seamlessly with Python AIOHTTP

A Wolfram Language Server

Co-located containers as Docker Swarm services (like Kubernetes pods)

HTML parser for Mathematica/Wolfram Language

Asynchronous, Reactive Programming for Scala and Scala.js.

Lightweight, modular, and extensible library for functional programming.

Compositional, streaming I/O library for Scala

Agda is a dependently typed programming language / interactive theorem prover.

Categories parametrized by morphism equality, in Agda

Efficient reliable UDP unicast, UDP multicast, and IPC message transport