jaymoid

checkers

Check properties on standard classes and data structures

RefactoringGolfJava

Java source files for SC2016 Refactoring Golf

awaitility

Awaitility is a small Java DSL for synchronizing asynchronous operations

toxy

Hackable HTTP proxy for resiliency testing and simulated network conditions

frege_programming

Content of the book "Haskell Programming from first principles" written in Frege

HaskellBook

My solutions to the exercises from Haskell from First Principles

quickcheck

Automatic testing of Haskell programs.

haskell-exercises

A little course to learn about some of the more obscure GHC extensions.

hpffp-resources

Haskell Programming From First Principles - Follow-up Resources

jqwik

Property-Based Testing on the JUnit Platform

kotest

Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.

haskell-aoc-2018

Advent of Code - 2018

rsocket-kotlin

RSocket Kotlin multi-platform implementation

haskell-study-plan

An opinionated list of resources for learning Haskell

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

typeof

instanceof operator and Visitor pattern replacement in Java 8

ChristmasLights

tornadofx

Lightweight JavaFX Framework for Kotlin

haskell-resources

A List of Foundational Haskell Papers

HaskellBook

Code snippets and exercises for the Haskell book

sicp-pdf

SICP PDF with Texinfo and LaTeX source

sicp

HTML5/EPUB3 version of SICP

rsocket-java

Java implementation of RSocket

mockk

mocking library for Kotlin

CssGitHubWindows

(UserStyle) GitHub Windows Edition [MIT]

async-profiler

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

comsat

Fibers and actors for web development

quasar

Fibers, Channels and Actors for the JVM

eclipse-collections

Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.