winitzki

sofp

A free book: "The Science of Functional Programming"

linear-algebra-book

The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)

talks

Talk slides for recent presentations

scala-examples

Code examples for functional programming

sofp-solutions

Solutions for exercises in the book "Science of functional programming"

leipzig-pictures-2020

A few pictures from Leipzig in 2020

milewski-ctfp-pdf

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

scall

A reference implementation of Dhall in Scala

sofp-docker-build

The Docker image for building the PDF version of the "Science of Functional Programming" book

ui

Declarative GUI for desktop apps in Scala

bigqueue

A big, fast and persistent queue based on memory mapped file.

calculators

Source code of calculators hosted at https://www.alpertron.com.ar

CBOR-Java

A Java implementation of Concise Binary Object Representation (RFC 8949)

daedalus

The Daedalus data description language

dhall-haskell

Maintainable configuration files

dhall-intellij

dhall-lang

Maintainable configuration files

DistributedSystemNotes

Notes on Lindsey Kuper's lectures on Distributed Systems

docs.scala-lang

The Scala Documentation website

flink

Apache Flink

intellij-dhall

A Dhall plugin for IntelliJ IDEs

lamonte-jexer

lamonte-jexer-wikis

miglayout

Official MiG Layout for Swing, SWT and JavaFX

sbt-pgp

PGP plugin for sbt

scala-yaml

sourcecode

Scala library providing "source" metadata to your program, similar to Python's __name__, C++'s __LINE__ or Ruby's __FILE__.

travis-dhallj-unfinished

Dhall for Java (unfinished)

visual-scala-reference

Visual Scala Reference

winitzki.github.io

Demo projects