gosubpl
Follow
-
-
-
-
dotty Public
Forked from scala/scala3Research platform for new language concepts and compiler technologies for Scala.
Scala Other UpdatedNov 29, 2017 -
stainless Public
Forked from epfl-lara/stainlessVerification framework for higher-order functional programs
Scala Other UpdatedNov 24, 2017 -
bolts Public
Forked from epfl-lara/boltsBolts: Stainless Verified Scala
Scala MIT License UpdatedNov 24, 2017 -
-
marathon Public
Forked from d2iq-archive/marathonDeploy and manage containers (including Docker) on top of Apache Mesos at scale.
Scala Apache License 2.0 UpdatedOct 20, 2017 -
-
software-foundations Public
Forked from mietek/sfMirror of “Software Foundations”, by Benjamin Pierce et al.
HTML UpdatedAug 28, 2017 -
system-design-interview Public
Forked from checkcheckzz/system-design-interviewSystem design interview for IT companies
UpdatedAug 28, 2017 -
akka-http Public
Forked from akka/akka-httpThe Streaming-first HTTP server/module of Akka
Scala Other UpdatedJul 18, 2017 -
akka-streams-workshop Public
Code samples (and some text) for the Akka Streams hands-on workshop
-
cold-http Public
A cold world HTTP client. Based on AKKA HTTP.
Apache License 2.0 UpdatedJul 2, 2017 -
zookeeper Public
Forked from apache/zookeeperMirror of Apache Hadoop ZooKeeper
Java Apache License 2.0 UpdatedJun 19, 2017 -
kafka Public
Forked from apache/kafkaMirror of Apache Kafka
Java Apache License 2.0 UpdatedJun 17, 2017 -
akka-typed-session Public
Forked from rkuhn/akka-typed-sessionadd-on to Akka Typed that tracks effects for use with Session Types
Scala Other UpdatedJun 8, 2017 -
antidote Public
Forked from AntidoteDB/antidoteSyncFree Reference Platform
Erlang UpdatedJun 6, 2017 -
mini workshop for lagom in java. from "hello-world"
Scala Apache License 2.0 UpdatedJun 6, 2017 -
scalafix Public
Forked from scalacenter/scalafixRefactoring library and tool for Scala
Scala Other UpdatedJun 2, 2017 -
scalameta Public
Forked from scalameta/scalametaYour favorite language gets closer to bare meta.
Scala BSD 3-Clause "New" or "Revised" License UpdatedMay 29, 2017 -
akka-typed-blog Public
Forked from patriknw/akka-typed-blogSample code for the Akka Typed blog series
Java Other UpdatedMay 26, 2017 -
spark Public
Forked from apache/sparkMirror of Apache Spark
Scala Apache License 2.0 UpdatedMay 19, 2017 -
flink Public
Forked from apache/flinkMirror of Apache Flink
Java Apache License 2.0 UpdatedMay 18, 2017 -
akka-online Public
Online and streaming algorithms with Akka
-
ensime-server Public
Forked from stevej/ensimeENSIME JVM Process
Scala GNU General Public License v3.0 UpdatedApr 23, 2017 -
akka-cluster-custom-downing Public
Forked from TanUkkii007/akka-cluster-custom-downingakka-cluster-custom-downing provides configurable auto-downing strategy you can choose based on your distributed application design.
Scala Apache License 2.0 UpdatedFeb 16, 2017 -
lagom Public
Forked from lagom/lagomReactive Microservices for the JVM
Scala Other UpdatedFeb 15, 2017 -
bloom-filter-scala Public
Forked from alexandrnikitin/bloom-filter-scalaBloom filter for Scala, the fastest for JVM
Scala MIT License UpdatedOct 28, 2016 -
my_emacs_d Public
Forked from EncodePanda/my_emacs_dMy Emacs configuration, the way I like it
Emacs Lisp GNU General Public License v2.0 UpdatedOct 13, 2016