Stars
Resources for "The Little Typer" study group
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
fugitive.vim: A Git wrapper so awesome, it should be illegal
Lightweight, modular, and extensible library for functional programming.
TLA+ specification for the Raft consensus algorithm
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
Prevents you from committing secrets and credentials into git repositories
The OpenAPI Specification Repository
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.
Resilience4j is a fault tolerance library designed for Java8 and functional programming
Hystrix is a latency and fault tolerance library designed to isolate points of access to remote systems, services and 3rd party libraries, stop cascading failure and enable resilience in complex di…
Catch common Java mistakes as compile-time errors
📘 OpenAPI/Swagger-generated API Reference Documentation
A reference implementation of a JSON package in Java.
Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared …
Consul is a distributed, highly available, and data center aware solution to connect and configure applications across dynamic, distributed infrastructure.
Please file issues or pull requests here: https://github.com/dotnet/fsharp
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly co…
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Infinispan is an open source data grid platform and highly scalable NoSQL cloud data store.