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