Λ's repositories
awesome-leading-and-managing
Awesome List of resources on leading people and being a manager. Geared toward tech, but potentially useful to anyone.
distage-example
Example project built using distage, tagless final, http4s, doobie and zio
install-nix-action
Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.
ipc
Intuitionistic Propositional Checker
knight-lang
The Knight Programming Language
lanzaboote
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
liquidhaskell
Liquid Types For Haskell
proost
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
risingwave
RisingWave: A Distributed SQL Database for Stream Processing
scala-native-sfml
Scala Native 3 bindings for SFML library
scala-seed
A Nix flake for getting started with Scala.
scala_school-twitter-fork
Lessons in the Fundamentals of Scala
trading-app
💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)