Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Swift

Groovy

Shell

Clojure

Solidity

C#

F#

CSS

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Elm

Dart

Nix

C#

Python

Zig

Objective-C

Erlang

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇳🇵 Nepal

🇫🇷 France

🇧🇾 Belarus

🇧🇸 The Bahamas

🇰🇾 Cayman Islands

🇲🇶 Martinique

🇯🇲 Jamaica

🇲🇼 Malawi

All Countries Compare Countries

gvolpe/pfps-examples

Stars
197
Rank 197,722 (Top 4 %)
Language
Scala
License
Apache License 2.0
Created about 5 years ago
Updated over 2 years ago

gvolpe/pfps-examples

gvolpe

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

🏮 Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"

pfps-examples

Standalone examples shown in the book Practical FP in Scala: A hands-on approach.

⚠️ IMPORTANT NOTICE If you are reading the first edition of Practical FP in Scala, go to the master branch. You're now on the second-edition branch, which is the new default. ⚠️

nix-config

👾 NixOS configuration

trading

💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)

pfps-shopping-cart

🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

advanced-http4s

🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.

sbt-nix.g8

❄️ Get started with Nix in Scala

scalar-feda

neovim-flake

Nix flake for Neovim & Scala Metals

http4s-good-practices

Collection of what I consider good practices in Http4s (WIP)

shopping-cart-haskell

💎 Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

musikell

🎸 Artists, Albums and Songs represented using Neo4j + GraphQL

newtypes

Zero-cost wrappers (newtypes) for Scala 3

exchange-rates

💱 Querying a rate-limited currency exchange API using Redis as a cache

light-play-rest-api

This project aims to be the reference to create a Light Weight REST API using Play Framework 2.4.x.

vim-setup

👾 My NeoVim configuration for Scala & Haskell development (permanently moved to https://github.com/gvolpe/dotfiles)

fts

🔍 Postgres full-text search (fts)

classy-optics

🔎 Source code shown at my talks at Scale by the Bay 2018 and Scalar 2019

haskell-book-exercises

From the book "Haskell Programming from first principles"

stm-demo

Bank transfer examples using STM in both Haskell and Scala (zio-stm)

nmd

NixOS Module Documentation generator

postgresql-resilient

Automatic re-connection support for PostgreSQL.

akka-cluster-demo

Testing the Akka 2.4 feature "akka.cluster.sharding.remember-entities"

fsm-streams

BeautyLine

https://www.gnome-look.org/p/1425426/

social-graph-api

Authentication & Social Graph API built on top of Redis, Neo4J and Play!

split-morphism

➰ Split Morphisms

hll-algorithm-sample

HLL Algorithm and Web Scraping sample

simple-http4s-api

Just a simple API using "http4s" and Json support on top of Play Json and Circe

effects-playground

🎯 Learning different effect systems by example

types-matter

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

stargazers-raffle

Run a raffle among the 🌟 stargazers 🌟 of a Github project!

cats-effect-demo

Code samples for the use cases given at my Dublin Scala Meetup's talk

akka-stream-full-project

Complete project using Akka Stream with Error Handling and ~100% Test Coverage

cats-functional-data-validation

Functional Data Validation in Scala using the Cats library

typed-actors-demo

Simple demo using Typed Actors by @knutwalker

bookies

My solution to a coding challenge

users-api-test

Basic Users API including Authentication using Http4s v0.18 and Cats Effect v0.5

falsisign.nix

Nix derivations for falsisign. Save trees, ink, time, and stick it to the bureaucrats!

learning-haskell

Learning Haskell

http4s-crud-demo

CRUD operations and Error Handling using Http4s

dependent-types

Personal notes taken from the course ThCS. Introduction to programming with dependent types in Scala.

par-dual

🔁 ParDual class for a Parallel <-> Sequential relationship

advanced-scala-exercises

Solved exercises of the Advanced Scala with Scalaz book by Noel Welsh and Dave Gurnell

idris-dependent-types

Dependent Types research in the Idris language

eta-servant-api

Simple Servant REST Api working on ETA (https://eta-lang.org/)

social-network

Social Network example Twitter-alike (followers / following) implemented on top of Titan Db

scala-lab

Playground for Scala 3's experimental features

http4s-auth

Authentication library for Http4s

reader-monad-sample

Example of Dependency Injection in Scala with Reader Monads

nixos-hyprland

NixOS on Wayland / Hyprland

classy-lens

Photography website

truco-argentino

Classic card games

optics-exercises

functional-chain-of-responsibility

Functional Chain of Responsibility pattern

gvolpe-bot

Telegram Bot built using the Canoe library

problem-solving

Just having fun solving algorithmic problems in λ Haskell & Scala

pricer-streams-demo

Scalaz Streams demo project

free-monad-example

Simple example of a Custom Free Monad Coyoneda using Scalaz.

shapeless-demo

Shapeless playground

play-cors-filter

Play! Framework API with CORS Filter

coursera-reactive-prog

Curso online de programación reactiva https://www.coursera.org/course/reactive

simple-file-reader-akka-actors

Simple file reader using Akka actors in Scala

blog-comments

Principled Software Craftsmanship (source moved permanently to https://github.com/gvolpe/gvolpe.github.io)

pricer-fs2-demo

Demo project using FS2 (Functional Streams for Scala)

free-as-a-monad

Running 2 or more algebras with Coproduct and Inject when using the Free Monad

logger-writer-monad

Pure functional log of transactions using the Scalaz Writer Monad.

play-oauth-silhouette

Example using OAuth with Play! Framework and Silhouette

rate-limiter

summoner-benchmarks

Source code for the benchmarks published in my blog

cloud-haskell-demo

Getting Started with Cloud Haskell

play-2.5.0-M1-streams

Exploring the integration of Akka Stream included in the first milestone version of Play! 2.5.0

scalaz-streams-playground

Playing around with Scalaz Streams

di-macwire-sample

Example of Dependency Injection in Scala using Macwire.

haskell-sample-box

Collection of useful stuff learned day by day.

ytui-music-nix

Nixified ytui-music client

amqp-demo

running

A personal running program to train for a 10k run and a half marathon

streaming-playground

neovim-coc

My previous NeoVim configuration with CoC for LSP support

steward

Run Scala Steward on my repos

cake-pattern-sample

Example of Cake pattern implementation in Scala.

slides

redis-scala-script

Redis massive data update with transactions built on top of SCRedis.

servant-api

Simple API built using Servant

functional-data-validation

Functional Data Validation in Haskell (Examples of my talk in Eindhoven, NL on June 2017)

bazecor-nix

Nix flake for Bazecor

transient-demo

Some computational examples using the Transient library

play-web-sockets

Example using Web Sockets in Play! Framework 2

phantom-ssl-extension

Extension for the Cassandra client phantom supporting SSL connections and username / password authentication for Java 8.

mtl-generic-reader

Exploring the idea of deriving `cats.mtl.ApplicativeAsk` instances for `zio.Task` and `cats.effect.IO` in a principled way.

pipes-concurrency-tutorial

Pipes Concurrency Tutorial personal notes

pipes-tutorial

Haskell Pipes Tutorial personal notes

link-checker-akka

Example of a link checker using the actor model of Akka provided by Roland Kuhn in the Reactive Programming course on Coursera.

events-processor-prototype

Reactive consumer of events coming from a Rabbit MQ queue using Akka streams.

bash-scripting

Generic Bash Scripting & Utilities that I've been creating for repetitive tasks.

hypr-binds

Keybinds helper for Hyprland

gvolpe-website

Source code to generate the static website https://gvolpe.com/

computation-expressions-demo

Simple comparison of the use of the standard Scala Future and the scala async library for asynchronous computation.

monocle-lenses

Using Monocle lenses to modify nested properties in case classes

medellin-talk