CloudI 1.7.2

CloudI is an open-source private cloud computing framework for efficient, secure, and internal data processing. CloudI provides scaling for previously unscalable source code with efficient fault-tolerant execution of C/C++, Erlang/Elixir, Go, Haskell, Java, JavaScript/node.js, OCaml, Perl, PHP, Python and Ruby services. The bare essentials for efficient fault-tolerant processing on a cloud!

Idris 0.12

Idris is a functional programming language with dependent types, where values are constrained and pattern-matched by an expressive type system to avoid logic misbehaviours. It's a general purpose language, but also supports interactive theorem-proving, is sufficient performant trough eager and LLVM compilation. It has monads, type classes, comprehensions, lambda bindings, where and with clauses, expressions in case statements, an indendation-based and extendable syntax, lists, tuples and pairs,

darcs 2.10.0

Darcs is a cross-platform version control system. It's similarly decentralized as git, mercurial or subversion but with a very different management approach. It focuses on changes rather than trees/snapshots. Which allows it to provide a freer way of working, and a much simpler CLI and a highly interactive user interface. It can work in an offline mode, provides local preparations, easy (non-)branching and merging, email patch sending, parallel development and builtin cherry-pickying from cha