Pinned Repositories
angular-live-pagination
A pagination for angular with pages live updated
angular-shuffler
Implements a FisherYates shuffler as an angular service.
capistrano-deploy-rsync
capistrano-deploy-with-rsync
docker-c-dev
A linux environment for comfortable c development
LinkCutTrees
Link Cut Tree for fast path aggregation calculation on trees and graphs
SplayTrees
A Splay Tree implementation in scala
starter.g8
A g8 template for a FP scala
StompConnectorForAkkaStreams
A STOMP PROTOCOL connector for akka streams
VanEmdeBoasInScala
A modified van Emde Boas data structure that achieves O(lg w) predecessor and successor queries with O(n) space"
nachinius's Repositories
nachinius/docker-c-dev
A linux environment for comfortable c development
nachinius/LinkCutTrees
Link Cut Tree for fast path aggregation calculation on trees and graphs
nachinius/starter.g8
A g8 template for a FP scala
nachinius/StompConnectorForAkkaStreams
A STOMP PROTOCOL connector for akka streams
nachinius/akka
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
nachinius/aws-amplify-quick-notes
nachinius/cats
Lightweight, modular, and extensible library for functional programming.
nachinius/conceptual-mathematics-in-lean
Conceptual Mathematics exercises using Lean theorem prover
nachinius/concurrency-in-scala-with-ce
Introduction to concepts of asynchronous and concurrent programming in Scala, based on cats-effect library.
nachinius/content-dynamodb-deepdive
Amazon DynamoDB Deep Dive Course
nachinius/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.
nachinius/dotty
Research platform for new language concepts and compiler technologies for Scala.
nachinius/fp-resources
Functional programming great resources
nachinius/fp-scala-cache-queue-client
nachinius/fp-scala-template
nachinius/hermitage
What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.
nachinius/json-schema-validator
nachinius/materials
nachinius/meow-mtl
Next Level MTL for Scala
nachinius/Monocle
Optics library for Scala
nachinius/napkin-math
Techniques and numbers for estimating system's performance from first-principles
nachinius/pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
nachinius/postgres-13.1
A docker with postgres-13.1 very similar to the offficial one when supported
nachinius/render
Universal data-driven template for generating textual output, as a static binary and a library
nachinius/repos
nachinius/scala-italy-2019
creating concurrent deferred cache in FP
nachinius/scala-sculpt
Dependency extraction for Scala codebases, to aid in modularizing
nachinius/skipper
An HTTP router and reverse proxy for service composition, including use cases like Kubernetes Ingress
nachinius/TL-Summit-Philly-2019
nachinius/wordCounterAkkaHttp
A quick and simple akka http endpoint to count words of an uploaded file