Sergei 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

scall. A reference implementation of Dhall in Scala

CocoaJoin. Implementation of join calculus in Objective-C for iOS

chymyst-book. Concurrency in Reactions: Declarative multicore programming in Scala

elm-lambda. A simple UI for a lambda-calculus interpreter

flyd-react-sample. A sample web app using Flyd and React

scala-threads-futures-intro. Example code for Scala Threads and Futures presentation

flyd-react-minesweeper. A pure functional reactive demo of Minesweeper

chymyst-core. Declarative concurrency in Scala - The implementation of the chemical machine

flyd-react-es6. Example FRP web app using Flyd and React

sofp-solutions. Solutions for exercises in the book "Science of functional programming"

eternal-inflation-book. The free version of the book "Eternal Inflation" (2009)

sofp-docker-build. The Docker image for building the PDF version of the "Science of Functional Programming" book

gr-book. A draft book on General Relativity

leipzig-pictures-2020. A few pictures from Leipzig in 2020

ui. Declarative GUI for desktop apps in Scala

elmsweeper. Elm

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

AndroJoin. Implementation of join calculus in Java for Android