adept-dm / adept
Adept - the predictable dependency management system
☆171Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for adept
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- ☆22Updated 10 years ago
- ☆44Updated 6 years ago
- Meld virtual machine.☆29Updated 8 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆49Updated 7 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- finding set bits in large bitmaps☆15Updated 8 years ago
- Roaring bitmaps in C☆16Updated 8 years ago
- Atomix Jepsen tests☆14Updated 7 years ago
- SynapseGrid is a framework for constructing dynamic low latency data flow systems.☆124Updated 3 years ago
- The Stratego program transformation language☆30Updated 3 months ago
- A proof assistant.☆12Updated 8 years ago
- demo clients☆20Updated 7 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated last year
- ☆57Updated 7 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- A distributed key-value cache with builtin materialized views.☆27Updated 9 years ago
- A ruby lib to achieve consensus with Cassandra☆12Updated 4 years ago
- A fork of asm.ow2.org for the Scala compiler☆8Updated 7 years ago
- Importer program for microlibraries. Bring in the libbits!☆18Updated 9 years ago
- SPREAD☆19Updated 3 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- Python bindings for libNVVM☆37Updated 10 years ago
- Distributed structured data interface inspired by Google's BigTable☆45Updated 15 years ago
- A programming language☆76Updated 11 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago