nrao / antioch
Dynamic Scheduling System for the GBT
☆15Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for antioch
- Literate-style Documentation Generator☆17Updated 9 years ago
- Yes, really!☆11Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- A small profunctor library for idris☆16Updated 2 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- ☆14Updated 12 years ago
- A typed logic programming language embedded in Haskell☆49Updated 11 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- ☆23Updated 7 years ago
- A nullary type class for partial functions☆15Updated 6 years ago
- Yet another alternative Haskell Prelude, but this one is awesome!☆51Updated 13 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Make presentations for data types☆25Updated 3 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- Provides the region monad for safely opening and working with scarce resources☆30Updated 9 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- Prototype of a web based, database driven Haskell IDE☆17Updated 8 years ago