Λ's repositories
cats-effect-Rock-the-JVM-course-repo
The official repository of the Rock the JVM Cats Effect course
qdrant
Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
intuitionistic-logic-forky
Metatheorems about intuitionistic logic, cubically!
zed-forky
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
dotty
The Scala 3 compiler, also known as Dotty.
Mastering-Functional-Programming
Mastering Functional Programming, published by Packt
Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
github-trends-forky
🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!
Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
ngn-k-tutorial
An ngn/k tutorial.
creative-scala-book-forky
Quick, graphical, fun introduction to programming in Scala.
HVM
A massively parallel, optimal functional runtime in Rust
Kindelia-forky
An efficient, secure cryptocomputer
nannou
A Creative Coding Framework for Rust.
Kind
A next-gen functional language
kyo
Toolkit for Scala Development
DeepLearning-lenses-idris-fork
Neural networks using lenses in Idris
synthetic-geometry-forky
Synthetic geometry. Probably mostly algebraic geometry.
realizability-fork
Experiments with Realizability in Cubical Agda
agda-algebras-forky
The Agda Universal Algebra Library (html docs available at the url below)
dry-lang-fork
A high-level programming language written in Scala
ox
Developer-friendly structured concurrency library for the JVM
typo
Typed Postgresql integration for Scala. Hopes to avoid typos
devenv-fork
Fast, Declarative, Reproducible, and Composable Developer Environments
uiua_fork
A stack-based array programming language
soft-serve-fork
The mighty, self-hostable Git server for the command line🍦