Tomas Mikula

ReactFX. Reactive event streams, observable values and more for JavaFX.

libretto. Declarative concurrency and stream processing library for Scala

EasyBind. Custom JavaFX bindings made easy with lambdas.

pascal. Concise syntax for polymorphic values in Scala 2.x.

LiveDirsFX. Directory tree model for JavaFX that watches the filesystem for changes.

jing. Typesafe, spec-first APIs without codegen. Just Import 'N' Go!

freeless. Alternative to Free monads

hasheq. Typeclass-based HashSet/HashMap for Scala

LambdaCart. Lambda syntax for Scala EDSLs

nutcracker. Problem solving à la carte

Principled. (Actually) flexible law checking for Scala

freebind. Exploration of the Free monad without point

type-aligned. Type-aligned data types, stack-safe composition.

BackCheckFX. Asynchronous (background-thread) analysis infrastructure for JavaFX

non-sequencing-monads. Examples of monads without sequencing

InputMapAPI. Discussion about input mapping API for JavaFX

scala-nat. Unary representation of natural numbers, with a proof of commutativity of addition.

protein-refinery. Reasoning about protein-protein interactions, using propagators

7guis. 7GUIs is a GUI programming usability benchmark.