Λ's repositories
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.
agda_lang
Agda is a dependently typed programming language / interactive theorem prover.
aya-dev
~ Youkai (∞, 1)-Mountain
build-your-own-jira-with-rust
A test-driven workshop to learn Rust building your own JIRA clone!
chumsky
Write expressive, high-performance parsers with ease.
Compiler
Dysfunctional Lisp is a functional programming language, inspired by lisp but has more simple syntax.
Coq-HoTT
A Coq library for Homotopy Type Theory
DeepFaceLive
Real-time face swap for PC streaming or video calls
Dysfunctional-Lisp-Online-Compiler
Online compiler/documentation for Dysfunctional Lisp
gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
golem-fibonacci
Example app & project structure for Golem Cloud
golem-todo-list
TODO app for Golem Cloud
golem-wordle
Wordle game for Golem Cloud
iggy
Iggy is the persistent message streaming platform written in Rust, supporting QUIC, TCP and HTTP transport protocols, capable of processing millions of messages per second.
mvim_fork
MicroVIM, a simple editor implement implements some basic vim features.
os-lib
OS-Lib is a simple, flexible, high-performance Scala interface to common OS filesystem and subprocess APIs
plfa.github.io
An introduction to programming language theory in Agda
polytt
A type theory with native support for Polynomial Functors.
putting-the-you-in-cpu
A technical explainer by @kognise of how your computer runs programs, from start to finish.
scala-exercism-track-fork
Exercism exercises in Scala.
scala-webapp-template
A pragmatic skeleton to build web applications in Scala/Scala.js, including user registration, login, admin portal, and, deployments
scalacaster-algorithms-fork
Purely Functional Algorithms and Data Structures in Scala
Second-Brain
A curated list of awesome Public Zettelkastens 🗄️ / Second Brains 🧠 / Digital Gardens 🌱
skunk
A data access library for Scala + Postgres.
typelevel-library.g8
Template for starting FP libraries ready to be published
typst
A new markup-based typesetting system that is powerful and easy to learn.
zio-todo-backend
Todo-Backend (https://www.todobackend.com/) implementation using ZIO, http4s and circe