Λ's repositories
carbon-lang
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
daily-coding-problem
Solutions to many of the exercises from daily coding problem: https://www.dailycodingproblem.com
http4s-spa
Helpers for building a http4s Single Page Application with Scala.js using ES-Modules and Import Maps
ohtt-forky
H.O.T.T. using rewriting in Agda
scala-best-practices-cheatsheet-nedelcu
A collection of Scala best practices
scala-http4s-zio-doobie-workshop
Introduction to pure functional programming using effects with zio, http4s, fs2 and doobie.
stoneshard-save-editor
Save file editor for Stoneshard
TIP_learn
Static program analysis for TIP
TypeTheory
The mathematical study of type theories, in univalent foundations
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
VV-C-system-from-a-monad
This repository contains various versions of Voevodsky's paper "C-system of a module over a Jf-relative monad"
zio-ecosystem
Ziverge Hack Day (December 2021)
zio-petclinic-scala-3
Updated zio-petclinic example app to use Scala 3