Tomas Mikula

alethfeld. Rigorous Proofs via Adversarial AI Agents

swift-digital-rain. Matrix-style digital rain effect in Swift

quotidian. A menagerie of macro utilities and extensions for Scala 3

gerbil-persist. Persistence of concurrent activities for Gerbil Scheme

replica-io. Express the essence of distributed replication and coordination

scalar-feda. Scala

effpi. Verified message-passing programs in Dotty

decrel. Composable relations for Scala

jcstress. https://openjdk.org/projects/code-tools/jcstress

tapir. Rapid development of self-documenting APIs

odin. Fast & Functional logger in Scala

formal-systems-in-biology. Application of formal systems to model biological systems

Laika. Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

foundations. Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.

scalaz-plugin. A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.

squid. Squid – type-safe metaprogramming and compilation framework for Scala

it-cfp-list. List of Call For Papers for IT conferences

swoval. Scala

kronecker. Library for counting and enumerating things.

newtypes. Scala

scalaFP. Functional experiments in Scala

sbt-api-mappings. An Sbt plugin that fills apiMappings for common Scala libraries.

scalaprops. property based testing library for Scala

hkt. Higher Kinded Type machinery for Java

derive4j. Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

contextual. Statically-checked string interpolation in Scala

ScaledFX. JavaFX pane for scaling arbitrary content nodes (used in VWorkflows)

si2712fix-plugin. Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6

kind-projector. Compiler plugin for making type lambdas (type projections) easier to write

nyaya. Random Data Generation and/or Property Testing in Scala & Scala.JS.

scalaz. Principled Functional Programming in Scala

scalacheck. Property-based testing for Scala

local-implicits. Scala compiler plugin which provides syntax for working with locally declared implicit values

supergenpass. A free bookmarklet password generator.

acyclic. Acyclic is a Scala compiler plugin to let you prohibit circular dependencies between files

Ammonite. Scala Scripting

junit-quickcheck. Property-based testing, JUnit-style

algebra. Experimental project to lay out basic algebra type classes

Scalatex. Programmable, Typesafe Document Generation

shapeless. Generic programming for Scala

functionaljava. Functional programming in Java

lamdu. lamdu - towards the next generation IDE

cssfx. Allow runtime modification of JavaFX CSS

scala. Typelevel Scala, a fork of Scala

shapeless-refined-std. Type-level API for standard collections

scaled. My own private IDE-aho.

capsule. Dead-Simple Packaging and Deployment for JVM Apps

awesome-scala. A community driven list of useful Scala libraries, frameworks and software.

scalafx. ScalaFX simplifies creation of JavaFX-based user interfaces in Scala

webfx. WebFX runs FXML and Javascript based JavaFX applications remotely

papa-carlo. Constructor of incremental parsers in Scala

KappaTools. Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

scala3. The Scala 3 compiler, also known as Dotty.

gradle-download-task. 📥 Adds a download task to Gradle that displays progress information

TestFX. Simple and clean testing for JavaFX.

RSyntaxTextArea. A syntax highlighting, code folding text editor for Java Swing applications.

scala-notebook. Interactive Scala REPL in a browser