Λ's repositories
awesome-zio
A big collection of useful ZIO links
idris-ct
formally verified category theory library
splot
Scala Plotting Library
AlgEff
My seminar talk about algebraic effects
Coherence-of-Heyting-arithmetic
Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)
scala-js-leaflet-1
Scala.js facade for leaflet.js
AlgebraicTopology2019
Course notes for Pure Mathematics Topic D 2019
cell-complex
Libraries and tools for topological and geometric modeling.
the-little-typer-study-group-fork-1
Resources for "The Little Typer" study group
haskell-proofs
Examples using dependent types for mathematical proofs at the type level
HoTT-Agda
Development of homotopy type theory in Agda
fs2-blobstore
Minimal, idiomatic, stream-based Scala interface for key/value store implementations
ticket-booking-aecor
Sample application for "Aecor — Purely functional event sourcing in Scala" series.
learn-fp
learn-by-doing course/tutorial for functional programming on scala
telegram-gif-bot
try myself in scala
async
Training course about asynchronous functional programming
awesome-applied-ct
ACT community resources
zio-by-example
Source code for "ZIO by example" blog post.
10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
CFL-HOL
Theory of Context-Free Languages in HOL
scala-intro
Introduction to Scala programming course
scala-js-leaflet
A Scala.js facade for Leaflet.js
homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
lawvere-2
enriched lawvere theories represent operational semantics (baez, williams)
Algorithm-and-Leetcode
I listed All the questions that I wrote at least twice in https://seanforfun.github.io/leetcode/. Though all my solutions can be found at leetcode column. I also made my own conclusions about data structure in this repository, all files will be synchronized on my github.io.
scalajq-fork
A scala implementation of jq (learn_it_reimpl_it)
ToDoListFIO
A Scala To-Do List application written in a functional programming style