In-memory distributed graph processing of trivially parallelizable graph algorithms.
☆22Apr 17, 2013Updated 12 years ago
Alternatives and similar repositories for sabre
Users that are interested in sabre are comparing it to the libraries listed below
Sorting:
- Adaptive File Source Connector for Spark, optimised for reading from object stores☆15Oct 18, 2022Updated 3 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- In this application, I just use QOpenGLWidget and Qt's other widgets to implement a oscilloscope. And I use boost::asio to communicate, u…☆12Jan 10, 2018Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Android Debug Bridge code with Visual C++ 2010 Express Edition project file☆15Nov 28, 2021Updated 4 years ago
- Ansible playbook to deploy/manage LDAP!☆19Aug 10, 2013Updated 12 years ago
- Tinkerpop Graph Database Library for Python☆36Mar 7, 2016Updated 9 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- Open source implementation of multi-sets (or bags) for Scala collection☆52Aug 14, 2017Updated 8 years ago
- ☆10Mar 25, 2015Updated 10 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- Tracking a Colored ball using opencv in python☆10Dec 19, 2011Updated 14 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Configuration and playback/management system for up to 4 streams (RTSP, e.g. from IP cameras). Using popcornmix/omxplayer. Applicable for…☆10Oct 19, 2017Updated 8 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- Hadoop InputFormat for http://druid.io/☆10Oct 26, 2016Updated 9 years ago
- A inverse kinematics library☆13Dec 12, 2014Updated 11 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- A collaborative bibliography of papers related to property-based testing☆16Updated this week
- This project contains the code related to my Master Thesis in Computer Vision. The aim of the project is to make a Real Time people track…☆10Jul 26, 2023Updated 2 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- ☆12May 9, 2015Updated 10 years ago
- Tools for working with the Wayback Machine in Rust☆15Dec 17, 2025Updated 2 months ago
- Conference Room Utility☆10Mar 11, 2014Updated 11 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 5 months ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 2 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Make WinRM service calls from NodeJS☆11Jan 4, 2023Updated 3 years ago
- Approximate Message Passing based on Donoho's original paper☆12Jun 28, 2021Updated 4 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- Comparison of trie implementations☆15Jan 4, 2012Updated 14 years ago
- IO types and classes for Scala.☆42Nov 26, 2016Updated 9 years ago