worst-case optimal join algorithm http://dl.acm.org/citation.cfm?id=2590991
☆10Mar 18, 2015Updated 11 years ago
Alternatives and similar repositories for dunce-cap
Users that are interested in dunce-cap are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Historical shortest-path distance querying index by pruned landmark labeling☆10May 24, 2014Updated 12 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 3 years ago
- Your worst case is our best case.☆145Mar 15, 2017Updated 9 years ago
- High-performance (C++) implementation of the leapfrog-triejoin algorithm by Todd Veldhuizen (http://arxiv.org/abs/1210.0481)☆22Feb 20, 2016Updated 10 years ago
- A statically-typed, functional language focused on usability.☆14Jul 21, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Dynamo like distributed database built using Akka Cluster☆21May 31, 2015Updated 11 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- scalaz friendly immutable Array, NonEmptyArray☆14Updated this week
- Just in Time Datastructures☆11Feb 21, 2017Updated 9 years ago
- Typescript IDE for text editors (emacs, vscode)☆31Aug 10, 2021Updated 5 years ago
- [unmaintained] Container environment for booting fresh DGU virtual machines. Create VMs with Vagrant, configure them with Puppet.☆38Mar 10, 2017Updated 9 years ago
- Coq executable semantics and resource verifier☆14Dec 23, 2015Updated 10 years ago
- Tools for creating DBpedia Spotlight Lucene Index☆10Oct 5, 2022Updated 4 years ago
- ☆17Jan 24, 2026Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A production-ready Ada 2022 library providing functional programming abstractions for type-safe computation.☆15Jun 8, 2026Updated 4 months ago
- A Ruby serialization library for use with the Sequel ORM.☆16May 12, 2023Updated 3 years ago
- Entity Summarization with User Feedback (ESWC 2020)☆10Dec 8, 2020Updated 5 years ago
- Write Python modules in Lean! (WIP)☆16Oct 10, 2026Updated 2 weeks ago
- AI library developed in functional scala☆14Dec 28, 2015Updated 10 years ago
- My Agda experiments☆12Sep 26, 2019Updated 7 years ago
- (PLEASE USE https://github.com/HanKruiger/tsNET) This is here for historical purpose only.☆10Mar 10, 2019Updated 7 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A clone of Google C++ B-tree code https://code.google.com/p/cpp-btree/☆86May 13, 2014Updated 12 years ago
- machine fusion☆16Oct 13, 2018Updated 8 years ago
- Basic arithmetic on Scala's type system using Peano numbers.☆12Nov 29, 2013Updated 12 years ago
- running real time style net and CycleGAN in pyqt!☆14Feb 7, 2020Updated 6 years ago
- A tensorlayer implementation of YOLOv2: Object Detection for both image and video!☆12Jun 20, 2018Updated 8 years ago
- enuSpace plugin for Tensorflow (graphical logic block, flow programming)☆11Feb 6, 2020Updated 6 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- Python library for Variants of Support Vector Machines☆10Dec 15, 2021Updated 4 years ago
- eSAIS and DC3 with LCP construction☆12Jan 25, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Horizontally shard across physical and logical shards implemented as PostgreSQL databases (physical) and schemas (logical) any large data…☆22Apr 27, 2017Updated 9 years ago
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years ago
- Frege interface to Android☆15Sep 16, 2015Updated 11 years ago
- ☆20Nov 24, 2025Updated 11 months ago
- Anything we need to maintain the Linked Open Data (LOD) publication of CEUR-WS.org☆16Jun 10, 2020Updated 6 years ago
- Mirror of Apache MRQL (Incubating)☆17Aug 22, 2017Updated 9 years ago
- Free structures a la carte☆13Jun 26, 2017Updated 9 years ago