Discover @gvolpe Open Source projects

Gabriel Volpe (@gvolpe)

gvolpe

Stars
3,387
Global Rank 8,262 (Top 0.3 %)
Followers 806
Following 146
Registered over 13 years ago
Most used languages

Scala
55.8 %

Haskell
26.3 %

Nix
9.5 %

Vim Script
2.1 %

C++
1.1 %

JavaScript
1.1 %

SCSS 1.1 %

CSS
1.1 %

Shell
1.1 %

Idris 1.1 %
Location 🇦🇷 Argentina
Country Total Rank 21
Country Ranking

Nix
1

Scala
1

Haskell
2

Idris 3

Vim Script
10

SCSS 44

CSS
283

C++
310

Shell
561

JavaScript
4,723

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"

pfps-examples

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

dconf2nix

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

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

http4s-good-practices

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

neovim-flake

Nix flake for Neovim & Scala Metals

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)

postgresql-resilient

Automatic re-connection support for PostgreSQL.

akka-cluster-demo

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

nmd

NixOS Module Documentation generator

social-graph-api

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

fsm-streams

BeautyLine

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

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

split-morphism

➰ Split Morphisms

stargazers-raffle

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

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

cats-effect-demo

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

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

social-network

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

eta-servant-api

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

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

gvolpe-bot

Telegram Bot built using the Canoe library

functional-chain-of-responsibility

Functional Chain of Responsibility pattern

problem-solving

Just having fun solving algorithmic problems in λ Haskell & Scala

idris-dependent-types

Dependent Types research in the Idris language

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

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

blog

Principled Software Craftsmanship

logger-writer-monad

Pure functional log of transactions using the Scalaz Writer Monad.

play-oauth-silhouette

Example using OAuth with Play! Framework and Silhouette

cloud-haskell-demo

Getting Started with Cloud Haskell

rate-limiter

play-2.5.0-M1-streams

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

ytui-music-nix

Nixified ytui-music client

running

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

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.

amqp-demo

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.

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.

summoner-benchmarks

Source code for the benchmarks published in my blog

mtl-generic-reader

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

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