Monitoring and back pressure for task execution
☆17May 9, 2018Updated 7 years ago
Alternatives and similar repositories for Precipice
Users that are interested in Precipice are comparing it to the libraries listed below
Sorting:
- Sequoia is Java library for scoring and evaluating decision trees☆13Jun 28, 2015Updated 10 years ago
- Lightweight-Productive-Reliable parallel task running and results aggregation (MapReduce on multicore)☆10Jun 10, 2018Updated 7 years ago
- SSH ForceCommand with argument support☆15Feb 13, 2023Updated 3 years ago
- Tick/Time Series database☆11Oct 24, 2015Updated 10 years ago
- DSL Platform - Java client☆12Dec 10, 2016Updated 9 years ago
- A Java ØMQ API for abstracting the various implementations of ZeroMQ Message Transport Protocol☆23Jun 7, 2021Updated 4 years ago
- A fluent API for generating Java byte code☆14Apr 4, 2013Updated 12 years ago
- ☆11Aug 28, 2015Updated 10 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated 3 weeks ago
- ☆59May 10, 2015Updated 10 years ago
- ☆15Feb 27, 2017Updated 9 years ago
- A programming language targeting 8bit ATMEL AVR microcontrollers. Implemented using OCaml and Menhir.☆12Oct 15, 2016Updated 9 years ago
- DocId set compression and set operation library☆27Apr 16, 2014Updated 11 years ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- Django widgets styled with Material Components for the Web☆24Dec 7, 2022Updated 3 years ago
- ZeroScript☆19Sep 28, 2015Updated 10 years ago
- A meta modeling facility for textual model representation with Clojure.☆28Jan 17, 2026Updated 2 months ago
- Go package for drawing OpenStreetMap tiles in pixel☆13Mar 7, 2023Updated 3 years ago
- Java* Fuzzer for Android*☆12Nov 3, 2016Updated 9 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆26Feb 26, 2026Updated 3 weeks ago
- ☆13Jun 25, 2024Updated last year
- DEPRECATED☆12Jan 17, 2016Updated 10 years ago
- Thor Hammer and a way to express invokedynamic in Java☆17Sep 23, 2020Updated 5 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Mar 10, 2026Updated last week
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- The JIRA Ticket Checker - Checks the existence of one or more ticket in the JIRA issue tracker☆34Jun 25, 2021Updated 4 years ago
- OAuth client library in OCaml.☆18Oct 16, 2017Updated 8 years ago
- Memory allocation benchmark☆17Oct 29, 2022Updated 3 years ago
- Uiua386 font but with color glyphs☆12Feb 10, 2024Updated 2 years ago
- Whole Platform Language Workbench☆28May 24, 2024Updated last year
- OCaml@p : OCamlにおけるデバッグ出力機構 / A debugging printer for OCaml☆10Feb 17, 2017Updated 9 years ago
- OCaml/Reason native IDE on OS X☆12Jan 18, 2017Updated 9 years ago
- minimal split keyboard with 34 keys☆11Dec 3, 2022Updated 3 years ago
- Toolkit for building modern Cloudflare Solutions with F# and Fable Compiler☆26Mar 9, 2026Updated last week
- "an outbreak of public anger or excitement" (about OCaml)☆12Nov 14, 2017Updated 8 years ago
- Minimal Kotlin implementation of Mustache templates☆11Mar 10, 2024Updated 2 years ago
- Auctioning with Aeron and SBE!☆31Dec 3, 2015Updated 10 years ago
- A modern networking framework based on ucx for Java 19+☆27Nov 23, 2023Updated 2 years ago
- speedy and simplistic static site generator.☆29Apr 13, 2023Updated 2 years ago