nachinius's repositories
docker-c-dev
A linux environment for comfortable c development
LinkCutTrees
Link Cut Tree for fast path aggregation calculation on trees and graphs
starter.g8
A g8 template for a FP scala
StompConnectorForAkkaStreams
A STOMP PROTOCOL connector for akka streams
conceptual-mathematics-in-lean
Conceptual Mathematics exercises using Lean theorem prover
concurrency-in-scala-with-ce
Introduction to concepts of asynchronous and concurrent programming in Scala, based on cats-effect library.
content-dynamodb-deepdive
Amazon DynamoDB Deep Dive Course
create-react-app-auth-amplify
Implements a basic authentication flow for signing up/signing in users as well as protected client side routing using AWS Amplify.
fp-resources
Functional programming great resources
napkin-math
Techniques and numbers for estimating system's performance from first-principles
pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
postgres-13.1
A docker with postgres-13.1 very similar to the offficial one when supported
render
Universal data-driven template for generating textual output, as a static binary and a library
scala-italy-2019
creating concurrent deferred cache in FP
scala-sculpt
Dependency extraction for Scala codebases, to aid in modularizing
wordCounterAkkaHttp
A quick and simple akka http endpoint to count words of an uploaded file