TomasMikula/hasheq
Typeclass-based HashSet/HashMap for Scala
Repositories
TomasMikula/freeless
Alternative to Free monads
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
TomasMikula/ReactFX
Reactive event streams, observable values and more for JavaFX.
TomasMikula/EasyBind
Custom JavaFX bindings made easy with lambdas.
TomasMikula/dxWDL
Workflow Description Language compiler for the DNAnexus platform
TomasMikula/scala3
The Scala 3 compiler, also known as Dotty.
TomasMikula/pascal
Concise syntax for polymorphic values in Scala 2.x.
TomasMikula/nutcracker
Problem solving à la carte
TomasMikula/fs2
Compositional, streaming I/O library for Scala
TomasMikula/jing
Typesafe, spec-first APIs without codegen. Just Import 'N' Go!
TomasMikula/LiveDirsFX
Directory tree model for JavaFX that watches the filesystem for changes.
TomasMikula/tomasmikula.github.io
TomasMikula/LambdaCart
Lambda syntax for Scala EDSLs
TomasMikula/non-sequencing-monads
Examples of monads without sequencing
TomasMikula/scala-nat
Unary representation of natural numbers, with a proof of commutativity of addition.
TomasMikula/scala
The Scala programming language
TomasMikula/kind-projector
Compiler plugin for making type lambdas (type projections) easier to write
TomasMikula/type-aligned
Type-aligned data types, stack-safe composition.
TomasMikula/Principled
(Actually) flexible law checking for Scala
TomasMikula/freebind
Exploration of the Free monad without point
TomasMikula/unison
Next generation programming language, currently in development
TomasMikula/BackCheckFX
Asynchronous (background-thread) analysis infrastructure for JavaFX
TomasMikula/scalaz
An extension to the core Scala library for functional programming.
TomasMikula/akka-stream-contrib
Add-ons to Akka Stream
TomasMikula/kittens
Automatic type class derivation for Cats
TomasMikula/MPS
JetBrains Meta programming System
TomasMikula/transformer-benchmarks
Benchmarks for monad transformer implementations in Scala
TomasMikula/ct-agda
Category theory formalized in Agda
TomasMikula/InputMapAPI
Discussion about input mapping API for JavaFX