Pinned Repositories
RichTextFX
Rich-text area for JavaFX
EasyBind
Custom JavaFX bindings made easy with lambdas.
freeless
Alternative to Free monads
hasheq
Typeclass-based HashSet/HashMap for Scala
LambdaCart
Lambda syntax for Scala EDSLs
libretto
Declarative concurrency and stream processing library for Scala
LiveDirsFX
Directory tree model for JavaFX that watches the filesystem for changes.
nutcracker
Problem solving à la carte
pascal
Concise syntax for polymorphic values in Scala.
ReactFX
Reactive event streams, observable values and more for JavaFX.
TomasMikula's Repositories
TomasMikula/ReactFX
Reactive event streams, observable values and more for JavaFX.
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
TomasMikula/EasyBind
Custom JavaFX bindings made easy with lambdas.
TomasMikula/pascal
Concise syntax for polymorphic values in Scala.
TomasMikula/LiveDirsFX
Directory tree model for JavaFX that watches the filesystem for changes.
TomasMikula/freeless
Alternative to Free monads
TomasMikula/hasheq
Typeclass-based HashSet/HashMap for Scala
TomasMikula/LambdaCart
Lambda syntax for Scala EDSLs
TomasMikula/nutcracker
Problem solving à la carte
TomasMikula/Principled
(Actually) flexible law checking for Scala
TomasMikula/freebind
Exploration of the Free monad without point
TomasMikula/type-aligned
Type-aligned data types, stack-safe composition.
TomasMikula/non-sequencing-monads
Examples of monads without sequencing
TomasMikula/protein-refinery
Reasoning about protein-protein interactions, using propagators
TomasMikula/scala-nat
Unary representation of natural numbers, with a proof of commutativity of addition.
TomasMikula/akka-stream-contrib
Add-ons to Akka Stream
TomasMikula/cats
Lightweight, modular, and extensible library for functional programming.
TomasMikula/ct-agda
Category theory formalized in Agda
TomasMikula/dotty
The Scala 3 compiler, also known as Dotty.
TomasMikula/dxWDL
Workflow Description Language compiler for the DNAnexus platform
TomasMikula/hfix
TomasMikula/kind-projector
Compiler plugin for making type lambdas (type projections) easier to write
TomasMikula/MPS
JetBrains Meta programming System
TomasMikula/scala
The Scala programming language
TomasMikula/scalaz
An extension to the core Scala library for functional programming.
TomasMikula/scato
An exploration of purely functional library design in Scala.
TomasMikula/suit
TomasMikula/tomasmikula.github.io
TomasMikula/transformer-benchmarks
Benchmarks for monad transformer implementations in Scala
TomasMikula/unison
Next generation programming language, currently in development