Alternatives and similar repositories for adept

Users that are interested in adept are comparing it to the libraries listed below

• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• rib / rig
  ☆44Updated 6 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• d2iq-archive / mesos-utils
  Utilities for building distributed systems on top of mesos
  ☆24Updated 6 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 10 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• maximecaron / SIMD-Based-Posting-lists
  Implementation of Alexander A. Stepanov inverted Index Compression algorithms
  ☆21Updated 9 years ago
• timt / naive-http
  A really simple http client library for scala
  ☆19Updated 2 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• stanford-ppl / hyperdsl
  ☆58Updated 8 years ago
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆52Updated 8 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 9 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• odipar / spread
  SPREAD
  ☆19Updated 4 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago
• Primetalk / SynapseGrid
  SynapseGrid is a framework for constructing dynamic low latency data flow systems.
  ☆124Updated 4 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• istathar / vaultaire
  Data vault for metrics
  ☆59Updated 10 years ago
• mesosphere-backup / mesos-hydra
  MPICH2 Hydra scheduler for Apache Mesos.
  ☆28Updated 11 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• PlatformLab / mappy
  Demo re-implementation of the Hadoop MapReduce scheduler in Python
  ☆13Updated 9 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• fsaintjacques / libtwiddle
  bit & sketches data structures
  ☆60Updated 6 years ago
• reverbrain / smack
  Low-level IO storage which packs data into sorted (zlib/bzip2/snappy compressed) blobs
  ☆31Updated 12 years ago
• esmet / tokufs
  Userspace file-system using the TokuFT fractal tree library
  ☆23Updated 3 years ago