Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by winitzki
A curated list of projects in awesome lists by winitzki .
https://github.com/winitzki/sofp
A free book: "The Science of Functional Programming"
Last synced: 12 Oct 2024
https://github.com/winitzki/linear-algebra-book
The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
Last synced: 12 Oct 2024
https://github.com/winitzki/scala-examples
Code examples for functional programming
Last synced: 28 Oct 2024
https://github.com/winitzki/cocoajoin
Implementation of join calculus in Objective-C for iOS
Last synced: 12 Oct 2024
https://github.com/winitzki/chymyst-book
Concurrency in Reactions: Declarative multicore programming in Scala
actor-model async-channels async-programming chemical-machine concurrency concurrent-programming csp declarative dsl functional-programming join-calculus jvm multicore multithreading parallelism scala
Last synced: 12 Oct 2024
https://github.com/winitzki/scala-threads-futures-intro
Example code for Scala Threads and Futures presentation
Last synced: 12 Oct 2024
https://github.com/winitzki/elm-lambda
A simple UI for a lambda-calculus interpreter
Last synced: 12 Oct 2024
https://github.com/winitzki/flyd-react-minesweeper
A pure functional reactive demo of Minesweeper
Last synced: 12 Oct 2024
https://github.com/winitzki/flyd-react-sample
A sample web app using Flyd and React
Last synced: 12 Oct 2024
https://github.com/winitzki/flyd-react-es6
Example FRP web app using Flyd and React
Last synced: 12 Oct 2024
https://github.com/winitzki/eternal-inflation-book
The free version of the book "Eternal Inflation" (2009)
Last synced: 12 Oct 2024
https://github.com/winitzki/sofp-solutions
Solutions for exercises in the book "Science of functional programming"
Last synced: 12 Oct 2024
https://github.com/winitzki/scall
A reference implementation of Dhall in Scala
Last synced: 12 Oct 2024
https://github.com/winitzki/leipzig-pictures-2020
A few pictures from Leipzig in 2020
Last synced: 12 Oct 2024
https://github.com/winitzki/sofp-docker-build
The Docker image for building the PDF version of the "Science of Functional Programming" book
Last synced: 12 Oct 2024
https://github.com/winitzki/androjoin
Implementation of join calculus in Java for Android
Last synced: 12 Oct 2024
https://github.com/winitzki/dpnum
Numerical computations with dynamic precision
Last synced: 12 Oct 2024
https://github.com/winitzki/turtle-exploration
Exploring the Turtle library for Haskell shell scripting
Last synced: 12 Oct 2024
https://github.com/winitzki/scala-scraps
Bits and pieces of useful Scala code
Last synced: 12 Oct 2024
https://github.com/winitzki/scala-lambda-calculus
A simple untyped lambda calculus interpreter in Scala using Ammonite
Last synced: 12 Oct 2024
https://github.com/winitzki/macro-counterexamples
Example code causing trouble with Scala macros
Last synced: 12 Oct 2024
https://github.com/winitzki/scala-bug-1
Accidentally discovered bug in scala compiler 2.12.4
Last synced: 12 Oct 2024
https://github.com/winitzki/kefir-react-es6
Example FRP web app using Kefir and React
Last synced: 12 Oct 2024
https://github.com/winitzki/coq-vagrant
A Vagrant configuration for Coq, CoqIDE, Emacs, and Proof General.
Last synced: 12 Oct 2024