-
-
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJan 31, 2021 -
-
scalaz-zio Public
Forked from zio/zioZIO — A principled, powerful, standalone effect data type for any Scala project.
Scala Apache License 2.0 UpdatedNov 7, 2018 -
akkaClusterPoc Public
Forked from seveneves/akkaClusterPocAkka Cluste POC
Scala UpdatedSep 17, 2015 -
modeshape Public
Forked from ModeShape/modeshapeModeShape is a distributed, hierarchical, transactional, and consistent data store with support for queries, full-text search, events, versioning, references, and flexible and dynamic schemas. It i…
Java Apache License 2.0 UpdatedJul 16, 2015 -
mapdb Public
Forked from jankotek/mapdbMapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.
Java Apache License 2.0 UpdatedJul 5, 2015 -
-
xita-innovationday-1 Public
Forked from adriaanthomas/xita-innovationday-1Repository for Xita innoation day 1
Scala UpdatedOct 24, 2014
{{ message }}