Λ's repositories
cats-parse
A parsing library for the cats ecosystem
fuuid
Functional UUID's for Scala
argonaut
Purely functional JSON parser and library in scala.
scala-java-time
Implementation of the `java.time` API in scala. Especially useful for scala.js
fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
pamflet
a publishing application for short texts
scala_typeclassopedia
Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
async-http-client
Asynchronous Http and WebSocket Client library for Java
bijection
Reversible conversions between types
Scallina
A Coq-based synthesis of Scala programs which are correct-by-construction
SPLV20
SPLV20 course notes
frdomain.kt
Port to Arrow of the Code repo for Functional and Reactive Domain Modeling
book
A textbook on informal homotopy type theory
plzoo
Programming Languages Zoo
avatar_counter
Telegram client bot for change avatar periodically
Metascala
A JVM written in Scala
metals
Scala language server with rich IDE features 🚀
http4s
A minimal, idiomatic Scala interface for HTTP
lowdim
Low dimensional topology and geometry.
telegramium
Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
telegram
Telegram Bot API Wrapper for Scala
scala
Scala 2 compiler and standard library. For bugs, see scala/bug
awesome-scala
A community driven list of useful Scala libraries, frameworks and software.
scala3-example-project
An example sbt project that compiles using Dotty
canoe
Functional Telegram Bot API for Scala
code
Proof theory seminar