Just in Time Datastructures
☆11Feb 21, 2017Updated 9 years ago
Alternatives and similar repositories for jitd
Users that are interested in jitd are comparing it to the libraries listed below
Sorting:
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- UB's JSQLparser fork☆12Nov 28, 2019Updated 6 years ago
- Scalable Consistency Adjustable Data Storage☆45Oct 13, 2020Updated 5 years ago
- The Vizier kernel-free notebook programming environment☆33Oct 6, 2025Updated 5 months ago
- Haversine formula to calculate the great-circle distance between two points in kilometers and miles.☆13Jan 9, 2018Updated 8 years ago
- Addressing the problem of predicting crime occurrence based on historic records☆11Nov 27, 2019Updated 6 years ago
- An angular.js wrapper around the Google Directions API☆10Jan 15, 2018Updated 8 years ago
- High-performance (C++) implementation of the leapfrog-triejoin algorithm by Todd Veldhuizen (http://arxiv.org/abs/1210.0481)☆23Feb 20, 2016Updated 10 years ago
- Library for deep embedding of DSLs based on Scala macros.☆75Jan 12, 2016Updated 10 years ago
- Data-ish exploration through SQL+Uncertainty☆27Oct 31, 2022Updated 3 years ago
- (PLEASE USE https://github.com/HanKruiger/tsNET) This is here for historical purpose only.☆10Mar 10, 2019Updated 7 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- The LMAX Disruptor in Ruby.☆31Feb 28, 2020Updated 6 years ago
- AI library developed in functional scala☆14Dec 28, 2015Updated 10 years ago
- ☆12Nov 21, 2016Updated 9 years ago
- Ocaml cross-compiler for Android☆45Oct 10, 2014Updated 11 years ago
- Frege interface to Android☆14Sep 16, 2015Updated 10 years ago
- Code for the indexed convolution☆16Mar 4, 2026Updated 2 weeks ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- ☆20Mar 30, 2022Updated 3 years ago
- An Advanced PHP Captcha Generator☆28Feb 29, 2016Updated 10 years ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- A C++11 library for executing the A* algorithm☆39Dec 29, 2012Updated 13 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- A definition and reference implementation for MRA in PureScript.☆17Aug 11, 2017Updated 8 years ago
- JDBC Driver for Treasure Data☆11May 1, 2024Updated last year
- A Hello World program in Coq.☆17May 28, 2022Updated 3 years ago
- Mirror of Apache MRQL (Incubating)☆17Aug 22, 2017Updated 8 years ago
- This repository contains codes for Timeline model☆10Dec 18, 2018Updated 7 years ago
- CAPTCHA solver | Machine Learning | Neural Networks | Image Processing | Feature Extraction | Optical Character Recognition | MATLAB☆11Feb 25, 2017Updated 9 years ago
- Proof of concept of a "linker plugin" enabling some reflection for Scala.js☆12Oct 18, 2016Updated 9 years ago
- Tracking our progress moving all city paper and pdf forms online.☆14Nov 6, 2020Updated 5 years ago
- Free structures a la carte☆13Jun 26, 2017Updated 8 years ago
- OCR based equation solver☆14Dec 8, 2014Updated 11 years ago
- C++, OpenCV, Qt☆12Sep 14, 2015Updated 10 years ago
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆14May 20, 2017Updated 8 years ago
- Homework on the specialization of Cloud Computing☆13Oct 23, 2018Updated 7 years ago