Pattern matching for Java with typesafe captures and extractors

JVM bytecode back end for Idris

Fork of HList with dependencies bumped

Convenience functions and template haskell for working with constraints

Dependent sums and supporting typeclasses for comparing and displaying them

Provide Read and Parse typeclasses along with a way to derive them generically

Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

A haskell email client

A code rewrite tool for structural search and replace that supports ~every language.

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Algebraic Effects in Haskell using Implicit Parameters

Safer universal equivalence (==) for Scala.

A new build tool for JVM languages

Human readable time diffs on lines of output when running e.g. build commands like fastlane

Słowniczek angielsko-polski w IT

Experimental Scala compiler focused on compilation speed

🚀 High Performance Linear Algebra (low level)

Utility to simplify running applications in docker containers

Docker images used internally by various Teradata projects for automation, testing, etc

Angular Travis Queue Dashboard

Stream utilities for Java 8

Framework for running macro benchmarks in a clustered environment

Jenkins plugin for pipeline visualisation, perfect for Continuous Delivery

Exchange 2007/2010/2013 Calendar, Tasks, Contacts and GAL Provider.

Gradle release & version management plugin.

A Java Code Generator for Pojo Builders

Liquibase Hibernate Integration

Ghost Driver is an implementation of the Remote WebDriver Wire protocol, using PhantomJS as back-end

Zaawansowane Programowanie Funkcyjne, MIMUW 2011

kata performed in order to record a TDD-kata-coding-screencast for TDD-fall-mimuw-2010