Alternatives and similar repositories for adept

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

• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆52Updated 8 years ago
• MoeOrganization / moe
  An -OFun prototype of an Ultra Modern Perl 5
  ☆279Updated 11 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• dropbox / Dropline
  Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.
  ☆18Updated 9 years ago
• rib / rig
  ☆44Updated 6 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• Primetalk / SynapseGrid
  SynapseGrid is a framework for constructing dynamic low latency data flow systems.
  ☆123Updated 4 years ago
• scala / scala-asm-legacy
  A fork of asm.ow2.org for the Scala compiler
  ☆8Updated 7 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• stanford-ppl / hyperdsl
  ☆58Updated 8 years ago
• ceylon / ceylon-dist
  DEPRECATED
  ☆28Updated 9 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 9 years ago
• megaannum / vimside
  Vim Scala IDE (VimSIde) built upon ENSIME
  ☆150Updated 11 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• biometrics / likely
  A compiler intermediate representation for image recognition and heterogeneous computing.
  ☆78Updated 9 years ago
• mesosphere-backup / mesos-hydra
  MPICH2 Hydra scheduler for Apache Mesos.
  ☆28Updated 11 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 10 years ago
• avibryant / simmer
  Reduce your data. A unix filter for algebird-powered aggregation.
  ☆140Updated 8 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆110Updated 7 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• d40cht / sbt-cpp
  Sbt plugin to allow native compilation of C and C++
  ☆71Updated 11 years ago
• hpc / libcircle
  An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …
  ☆99Updated 4 years ago