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 10 years ago
- bot for replying to "i'm new" posts on /r/dota2☆13Sep 28, 2015Updated 10 years ago
- Prototype of a web based, database driven Haskell IDE☆17Jun 27, 2016Updated 9 years ago
- A growable array allowing for multiple mutable non-overlapping regions.☆16Dec 10, 2018Updated 7 years ago
- Unofficial Temporal Haskell SDK☆44Feb 26, 2026Updated last week
- ☆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
- Various tricks for dealing with bits☆22Oct 16, 2019Updated 6 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
- Haskell FFI to libclang☆58Jun 10, 2017Updated 8 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 10 months ago
- A Rust implementation of Plumtree algorithm☆30Feb 9, 2026Updated 3 weeks ago
- 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
- ☆33Feb 9, 2020Updated 6 years 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
- A Rust crate implementing the GDB Remote Serial Protocol☆35Jan 10, 2021Updated 5 years ago
- 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
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Jul 3, 2024Updated last year
- 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 6 years ago
- Combining Electron and Haskell☆31Jan 21, 2019Updated 7 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Aug 28, 2025Updated 6 months ago
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago
- Reverse proxy that handles authentication☆37Sep 9, 2018Updated 7 years 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
- Some papers on Knowledge Graph Embedding(KGE)☆13Aug 16, 2022Updated 3 years ago
- Generic types and functions for encoding and decoding columns☆44Nov 4, 2024Updated last year
- Control suite for FPGA based qubit time-series photonics☆13Mar 9, 2023Updated 2 years ago
- CHIP-8 Emulator written with Python3 and PyGame☆11Jan 6, 2020Updated 6 years ago
- small blockchain with PoA consensus☆12May 22, 2018Updated 7 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago