nachinius

nachinius

Geek Repo

Location:Berlin, DE

Github PK Tool:Github PK Tool

nachinius's repositories

docker-c-dev

A linux environment for comfortable c development

Language:DockerfileLicense:MITStargazers:6Issues:3Issues:0

LinkCutTrees

Link Cut Tree for fast path aggregation calculation on trees and graphs

Language:ScalaLicense:Apache-2.0Stargazers:3Issues:3Issues:0

starter.g8

A g8 template for a FP scala

StompConnectorForAkkaStreams

A STOMP PROTOCOL connector for akka streams

Language:ScalaLicense:Apache-2.0Stargazers:1Issues:3Issues:0

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:JavaScriptLicense:MIT-0Stargazers:0Issues:2Issues:0

cats

Lightweight, modular, and extensible library for functional programming.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

conceptual-mathematics-in-lean

Conceptual Mathematics exercises using Lean theorem prover

Language:LeanStargazers:0Issues:2Issues:0

concurrency-in-scala-with-ce

Introduction to concepts of asynchronous and concurrent programming in Scala, based on cats-effect library.

Language:ScalaStargazers:0Issues:2Issues:0

content-dynamodb-deepdive

Amazon DynamoDB Deep Dive Course

Language:PythonStargazers:0Issues:2Issues:0

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.

Language:JavaScriptLicense:MIT-0Stargazers:0Issues:2Issues:0

dotty

Research platform for new language concepts and compiler technologies for Scala.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

fp-resources

Functional programming great resources

Stargazers:0Issues:2Issues:0
Language:ScalaStargazers:0Issues:3Issues:0
Language:ScalaStargazers:0Issues:3Issues:0

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

Stargazers:0Issues:3Issues:0
Language:ScalaLicense:MPL-2.0Stargazers:0Issues:2Issues:0
Language:TSQLStargazers:0Issues:2Issues:0

meow-mtl

Next Level MTL for Scala

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

Monocle

Optics library for Scala

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

napkin-math

Techniques and numbers for estimating system's performance from first-principles

Language:RustLicense:MITStargazers:0Issues:2Issues:0

pfps-shopping-cart

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

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

postgres-13.1

A docker with postgres-13.1 very similar to the offficial one when supported

Language:ShellStargazers:0Issues:3Issues:0

render

Universal data-driven template for generating textual output, as a static binary and a library

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:2Issues:0

scala-italy-2019

creating concurrent deferred cache in FP

Language:ScalaStargazers:0Issues:2Issues:0

scala-sculpt

Dependency extraction for Scala codebases, to aid in modularizing

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

skipper

An HTTP router and reverse proxy for service composition, including use cases like Kubernetes Ingress

Language:GoLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:ScalaStargazers:0Issues:2Issues:0

wordCounterAkkaHttp

A quick and simple akka http endpoint to count words of an uploaded file

Language:ScalaStargazers:0Issues:3Issues:0