nrao / antiochView external linksLinks
Dynamic Scheduling System for the GBT
☆16Sep 6, 2011Updated 14 years ago
Alternatives and similar repositories for antioch
Users that are interested in antioch are comparing it to the libraries listed below
Sorting:
- This repository has been moved to https://gitlab.com/twittner/cql-io☆13Feb 20, 2016Updated 9 years ago
- bot for replying to "i'm new" posts on /r/dota2☆13Sep 28, 2015Updated 10 years ago
- A growable array allowing for multiple mutable non-overlapping regions.☆16Dec 10, 2018Updated 7 years ago
- Prototype of a web based, database driven Haskell IDE☆17Jun 27, 2016Updated 9 years ago
- ☆21Jan 1, 2023Updated 3 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- Implements a graphical haskell debugger in atom, using ghci☆21Jun 30, 2018Updated 7 years ago
- A message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 7 years ago
- Haskell distributed parallel Haskell☆37Aug 26, 2017Updated 8 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 9 months ago
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 years ago
- A Rust implementation of Plumtree algorithm☆30Updated this week
- The 9p protocol as a serde format and message types.☆32May 21, 2021Updated 4 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- A Distributed Computing Library in Haskell☆52Jun 9, 2017Updated 8 years ago
- Javascript template language with DRY HTML☆36Jun 4, 2014Updated 11 years ago
- Auth0 API in Haskell☆26Oct 18, 2018Updated 7 years ago
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Jul 16, 2014Updated 11 years ago
- ☆33Feb 9, 2020Updated 6 years ago
- Construct postgrest requests in Elm☆26Aug 2, 2025Updated 6 months ago
- A syntax for unions of constraints in Haskell☆70Jun 30, 2017Updated 8 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Sep 10, 2019Updated 6 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Jul 3, 2024Updated last year
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Jan 11, 2020Updated 6 years ago
- Combining Electron and Haskell☆31Jan 21, 2019Updated 7 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Oct 14, 2016Updated 9 years ago
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Mar 2, 2020Updated 5 years ago
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Feb 14, 2023Updated 3 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Aug 28, 2025Updated 5 months ago
- Reverse proxy that handles authentication☆37Sep 9, 2018Updated 7 years ago
- Generic types and functions for encoding and decoding columns☆44Nov 4, 2024Updated last year
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- Some papers on Knowledge Graph Embedding(KGE)☆13Aug 16, 2022Updated 3 years ago
- A simple example of creating a package and using it in another package with subclassing starting with shrubbery and landscaping.☆10Apr 5, 2018Updated 7 years ago
- Control suite for FPGA based qubit time-series photonics☆13Mar 9, 2023Updated 2 years ago
- small blockchain with PoA consensus☆12May 22, 2018Updated 7 years ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 weeks ago