Luca Zhang's repositories
thinking-with-types
π source material for Thinking with Types
Beijing-exercises
Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
dune
A composable build system for OCaml.
duobei.github.io
A gem-based responsive simple texture styled Jekyll theme.
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
elixirschool
The content behind Elixir School
haskell-challenges
Code challenges to solve with Haskell
haskell-course
This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you want to use it to learn Haskell for other purposes, you can! π
haskell-resources
A List of Foundational Haskell Papers
incubator-pekko
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
learn4haskell
π©βπ« π¨βπ« Learn Haskell basics in 4 pull requests
ocaml-style
A style guide for OCaml
optics
Optics as an abstract interface
parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
xapi-project.github.io
Home of the Xapi-project docs site
xen-api
The Xapi Project's XenAPI Server