Λ's repositories
acg
An attempt to implement abstract categorial grammars (acg) in ocaml, this project serves mainly learning purposes
agda-stdlib
The Agda standard library
book-1
Effect-Oriented Programming: Creating Reliable Systems with Scala 3 and ZIO 2
cakeml
CakeML: A Verified Implementation of ML
caliban
Functional GraphQL library for Scala
caliban-extras
GraphQL pagination and filters with Caliban
carbonyl
Chromium running inside your terminal
cats-collections
Data structures for pure functional programming in Scala
choam
Experiments with composable lock-free concurrency
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
fs2
Compositional, streaming I/O library for Scala
hepek
Typesafe HTML templates in pure Scala. Static site generator included! Play and ScalaJS support!
metabrowse
Static site generator for code search with IDE features for Scala
parallel-for
Automatically parallelize your for-comprehensions at compile time.
polyml
Poly/ML
snappy
Helps you browse through and interpret your genotype data
spire
Powerful new number types and numeric abstractions for Scala.
tour-of-scala
Tour of Scala - Scala classes
wreckto-verseo
Experiments with the Verse Calculus in miniKanren
Yaffle
A core language and API for dependently typed languages
zero-to-nix
An unofficial, opinionated, gentle introduction to Nix (@nixos) from Determinate Systems
zio
ZIO — A type-safe, composable library for async and concurrent programming in Scala
zio-app-example
Quickly create and develop full-stack Scala apps with ZIO and Laminar.
zio-direct
Direct-Style Programming for ZIO
zio-prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
zio-quickstart-restful-webservice
A minimal quickstart ZIO application for writing a RESTful Web Service
zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org