Stars
🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
Java annotation processor library for auto-generating Builder (including Staged Builder) pattern classes
GraphAware Runtime Module that assigns a UUID to all nodes (and relationships) in the graph transparently
Website for the Foundations of Software course at EPFL in the Fall 2015 semester
A fast linearizability checker written in Go 🔎
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.
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…
A Java API for generating .java source files.
Start here: https://github.com/glts/safer-spring-petclinic/wiki
Pistache is a pi-Calculus internal DSL for Scala. It enables developers to write concurrent applications using a pi-Calculus-ish notation.
2017年买房经历总结出来的买房购房知识分享给大家，希望对大家有所帮助。买房不易，且买且珍惜。Sharing the knowledge of buy an own house that according to the experience at hangzhou in 2017 to all the people. It's not easy to buy a own house, so…
A collection of resources for learning type theory and type theory adjacent fields.
Declarative concurrency in Scala - The implementation of the chemical machine
Asynchronous, Reactive Programming for Scala and Scala.js.
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
An advanced, but easy to use, platform for writing functional applications in Java 8.
Syntactic sugar for monad composition in Scala
Scala library for creating and manipulating Excel documents
Deep Learning Book Chinese Translation
The pure asynchronous runtime for Scala
A tidy SQL-based DB access library for Scala developers. This library naturally wraps JDBC APIs and provides you easy-to-use APIs.
Freek, a freaky simple Free to combine your DSL seamlessly