tomasmikula Goto Github PK

7guis

7GUIs is a GUI programming usability benchmark.

akka-stream-contrib

Add-ons to Akka Stream

algebra

Experimental project to lay out basic algebra type classes

backcheckfx

Asynchronous (background-thread) analysis infrastructure for JavaFX

cats

Lightweight, modular, and extensible library for functional programming.

ct-agda

Category theory formalized in Agda

dotty

The Scala 3 compiler, also known as Dotty.

dxwdl

Workflow Description Language compiler for the DNAnexus platform

easybind

Custom JavaFX bindings made easy with lambdas.

freebind

Exploration of the Free monad without point

freeless

Alternative to Free monads

hasheq

Typeclass-based HashSet/HashMap for Scala

hfix

inputmapapi

Discussion about input mapping API for JavaFX

kasim

Command line stochastic simulator for kappa models. Documentation and binaries can be found in the release section below.

kind-projector

Compiler plugin for making type lambdas (type projections) easier to write

kittens

Automatic type class derivation for Cats

lambdacart

Lambda syntax for Scala EDSLs

libretto

Declarative concurrency and stream processing library for Scala

linter

Static Analysis Compiler Plugin for Scala

livedirsfx

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

mps

JetBrains Meta programming System

non-sequencing-monads

Examples of monads without sequencing

nutcracker

Problem solving à la carte

pascal

Concise syntax for polymorphic values in Scala.

principled

(Actually) flexible law checking for Scala

protein-refinery

Reasoning about protein-protein interactions, using propagators

reactfx

Reactive event streams, observable values and more for JavaFX.

scala

The Scala programming language

scala-nat

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