Discover gvolpe/phantom-ssl-extension Open Source project

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

712

trading

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

597

pfps-shopping-cart

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

516

pfps-examples

🐾 Convert Dconf files (e.g. Gnome Shell) to Nix, as expected by Home Manager

189

dconf2nix

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

179

advanced-http4s

❄️ Get started with Nix in Scala

142

sbt-nix.g8

115

scalar-feda

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

http4s-good-practices

neovim-flake

Nix flake for Neovim & Scala Metals

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

shopping-cart-haskell

🎸 Artists, Albums and Songs represented using Neo4j + GraphQL

musikell

Zero-cost wrappers (newtypes) for Scala 3

newtypes

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

exchange-rates

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

light-play-rest-api

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

vim-setup

Vim Script

fts

🔍 Postgres full-text search (fts)

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

classy-optics

From the book "Haskell Programming from first principles"

haskell-book-exercises

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

stm-demo

Automatic re-connection support for PostgreSQL.

postgresql-resilient

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

akka-cluster-demo

NixOS Module Documentation generator

nmd

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

social-graph-api

fsm-streams

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

BeautyLine

hll-algorithm-sample

HLL Algorithm and Web Scraping sample

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

simple-http4s-api

🎯 Learning different effect systems by example

effects-playground

split-morphism

➰ Split Morphisms

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

types-matter

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

stargazers-raffle

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

akka-stream-full-project

Functional Data Validation in Scala using the Cats library

cats-functional-data-validation

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

cats-effect-demo

Simple demo using Typed Actors by @knutwalker

typed-actors-demo

My solution to a coding challenge

bookies

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

users-api-test

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

falsisign.nix

learning-haskell

Learning Haskell

CRUD operations and Error Handling using Http4s

http4s-crud-demo

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

dependent-types

🔁 ParDual class for a Parallel <-> Sequential relationship

par-dual

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

advanced-scala-exercises

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

social-network

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

eta-servant-api

Playground for Scala 3's experimental features

scala-lab

Authentication library for Http4s

http4s-auth

Example of Dependency Injection in Scala with Reader Monads

reader-monad-sample

NixOS on Wayland / Hyprland

nixos-hyprland

classy-lens

truco-argentino

optics-exercises

gvolpe-bot

Telegram Bot built using the Canoe library

Functional Chain of Responsibility pattern

functional-chain-of-responsibility

Just having fun solving algorithmic problems in λ Haskell & Scala

problem-solving

Dependent Types research in the Idris language

idris-dependent-types

Idris

pricer-streams-demo

Scalaz Streams demo project

Simple example of a Custom Free Monad Coyoneda using Scalaz.

free-monad-example

shapeless-demo

Shapeless playground

Play! Framework API with CORS Filter

play-cors-filter

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

coursera-reactive-prog

Simple file reader using Akka actors in Scala

simple-file-reader-akka-actors

Demo project using FS2 (Functional Streams for Scala)

pricer-fs2-demo

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

free-as-a-monad

Principled Software Craftsmanship

blog

SCSS

logger-writer-monad

Pure functional log of transactions using the Scalaz Writer Monad.

Example using OAuth with Play! Framework and Silhouette

play-oauth-silhouette

Getting Started with Cloud Haskell

cloud-haskell-demo

rate-limiter

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

play-2.5.0-M1-streams

Nixified ytui-music client

ytui-music-nix

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

running

scalaz-streams-playground

Playing around with Scalaz Streams

Example of Dependency Injection in Scala using Macwire.

di-macwire-sample

Collection of useful stuff learned day by day.

haskell-sample-box

amqp-demo

streaming-playground

My previous NeoVim configuration with CoC for LSP support

neovim-coc

Vim Script

steward

Run Scala Steward on my repos

cake-pattern-sample

Example of Cake pattern implementation in Scala.

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

slides

redis-scala-script

Simple API built using Servant

servant-api

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

functional-data-validation

bazecor-nix

Nix flake for Bazecor

Some computational examples using the Transient library

transient-demo

Example using Web Sockets in Play! Framework 2

play-web-sockets

Pipes Concurrency Tutorial personal notes

pipes-concurrency-tutorial

Haskell Pipes Tutorial personal notes

pipes-tutorial

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

link-checker-akka

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

events-processor-prototype

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

bash-scripting

Shell

summoner-benchmarks

Source code for the benchmarks published in my blog

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

mtl-generic-reader

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

gvolpe-website

JavaScript

computation-expressions-demo

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

Using Monocle lenses to modify nested properties in case classes

monocle-lenses

medellin-talk