A Scala DSL for the Kompics framework
☆20Feb 1, 2022Updated 4 years ago
Alternatives and similar repositories for kompics-scala
Users that are interested in kompics-scala are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kompics - A message-passing component model for building distributed systems☆67Oct 4, 2022Updated 4 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Paxos protocol variants framework☆26Mar 12, 2018Updated 8 years ago
- A simple test HTTP server for Janet, circlet, and jpm.☆14Jul 28, 2019Updated 7 years ago
- A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.☆14Jan 16, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A PID (proportional/integral/derivative) controller in Elixir. Not to be confused with process ID.☆11Apr 8, 2024Updated 2 years ago
- Nexmark event generator in Rust.☆14Jan 11, 2023Updated 3 years ago
- An elixir library for pushing exometer metrics to datadog via the REST API.☆13Jun 22, 2016Updated 10 years ago
- Implementation of algorithms from "Artificial Intelligence: A Modern Approach 3rd Ed" in Scala☆25Dec 30, 2014Updated 11 years ago
- ✒ A hands-on introduction to Ink using annotated example programs.☆18Jul 16, 2021Updated 5 years ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆12Jan 5, 2024Updated 2 years ago
- Extensions for Apache Shiro☆10Jun 15, 2020Updated 6 years ago
- Minimalist BDD for Erlang, sans cucumbers☆10Oct 17, 2016Updated 10 years ago
- A small NuPRL style proof assistant☆32Jan 31, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Adaptive Radix Tree for Rust☆17Jan 18, 2025Updated last year
- web driver (selenium) client for guile☆12Jul 26, 2024Updated 2 years ago
- virsh replacement in bash☆15Jul 28, 2013Updated 13 years ago
- Rust client for Timeplus Proton, a fast and lightweight streaming SQL engine☆12Nov 24, 2025Updated 11 months ago
- ☆17Jun 14, 2018Updated 8 years ago
- ML Basis for Poly/ML☆14Oct 18, 2025Updated last year
- ✏ MTX: Metrics Client☆20Aug 29, 2015Updated 11 years ago
- personal website + shell (chrooted) [ shut down due to covid ]☆16Oct 12, 2020Updated 6 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Mar 21, 2019Updated 7 years ago
- Tool for visualizing Apache Oozie pipelines☆13Feb 15, 2016Updated 10 years ago
- Guild AI project examples☆12Jun 8, 2020Updated 6 years ago
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- Erlang Workshop☆12Nov 5, 2014Updated 11 years ago
- Build, configure, and track workflows with Jarvis.☆14Apr 17, 2018Updated 8 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆17Aug 5, 2015Updated 11 years ago
- Artificial Neural Networks in Akka☆42Jul 30, 2026Updated 3 months ago
- Serves `index.html` pages for requests to paths without a filename in Phoenix / Plug applications☆13Aug 5, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- View poses coming out of pose estimation networks.☆11Mar 25, 2023Updated 3 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- Social Context Analysis aNd Emotion Recognition☆12Jul 11, 2017Updated 9 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- ☆15Jan 17, 2015Updated 11 years ago
- Embeddable multi-Paxos For The JVM☆80Dec 27, 2024Updated last year