λ Functional Programming λ
nix-config. :space_invader: NixOS configuration :space_invader:
1.1ktrading. 💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)
663pfps-shopping-cart. :shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
551pfps-examples. :izakaya_lantern: Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"
196advanced-http4s. :rainbow: Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
141niri-scratchpad. Scratchpad support for Niri
133sbt-nix.g8. :snowflake: Get started with Nix in Scala
117neovim-flake. Nix flake for Neovim & Scala Metals
105scalar-feda. Scala
93http4s-good-practices. Collection of what I consider good practices in Http4s (WIP)
75shopping-cart-haskell. :gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
65musikell. :guitar: Artists, Albums and Songs represented using Neo4j + GraphQL
56exchange-rates. :currency_exchange: Querying a rate-limited currency exchange API using Redis as a cache
43newtypes. Zero-cost wrappers (newtypes) for Scala 3
43nfsm. Niri FullScreen Manager
41light-play-rest-api. This project aims to be the reference to create a Light Weight REST API using Play Framework 2.4.x.
34fts. :mag: Postgres full-text search (fts)
28haskell-book-exercises. From the book "Haskell Programming from first principles"
27vim-setup. :space_invader: My NeoVim configuration for Scala & Haskell development (permanently moved to https://github.com/gvolpe/dotfiles)
27classy-optics. :mag_right: Source code shown at my talks at Scale by the Bay 2018 and Scalar 2019
26BeautyLine. https://www.gnome-look.org/p/1425426/
18stm-demo. Bank transfer examples using STM in both Haskell and Scala (zio-stm)
17nmd. NixOS Module Documentation generator
17fsm-streams. Scala
16akka-cluster-demo. Testing the Akka 2.4 feature "akka.cluster.sharding.remember-entities"
15postgresql-resilient. Automatic re-connection support for PostgreSQL.
15simple-http4s-api. Just a simple API using "http4s" and Json support on top of Play Json and Circe
12social-graph-api. Authentication & Social Graph API built on top of Redis, Neo4J and Play!
12effects-playground. :dart: Learning different effect systems by example
11stargazers-raffle. Run a raffle among the 🌟 stargazers 🌟 of a Github project!
11split-morphism. :curly_loop: Split Morphisms
11types-matter. Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
10hll-algorithm-sample. HLL Algorithm and Web Scraping sample
10cats-effect-demo. Code samples for the use cases given at my Dublin Scala Meetup's talk
9typed-actors-demo. Simple demo using Typed Actors by @knutwalker
8cats-functional-data-validation. Functional Data Validation in Scala using the Cats library
8users-api-test. Basic Users API including Authentication using Http4s v0.18 and Cats Effect v0.5
7akka-stream-full-project. Complete project using Akka Stream with Error Handling and ~100% Test Coverage
7bookies. My solution to a coding challenge
7falsisign.nix. Nix derivations for falsisign. Save trees, ink, time, and stick it to the bureaucrats!
6par-dual. :repeat: ParDual class for a Parallel <-> Sequential relationship
4http4s-crud-demo. CRUD operations and Error Handling using Http4s
4scala-lab. Playground for Scala 3's experimental features
3truco-argentino. Classic card games
3problem-solving. Just having fun solving algorithmic problems in λ Haskell & Scala
3http4s-auth. Authentication library for Http4s
3free-as-a-monad. Running 2 or more algebras with Coproduct and Inject when using the Free Monad
3play-cors-filter. Play! Framework API with CORS Filter
2shapeless-demo. Shapeless playground
2