geooo109 / Computational_GeometryLinks
Spring 2018-2019
☆10Updated 5 years ago
Alternatives and similar repositories for Computational_Geometry
Users that are interested in Computational_Geometry are comparing it to the libraries listed below
Sorting:
- Spring 2018-2019☆17Updated 6 years ago
- ☆10Updated 5 years ago
- Master Thesis text, University of Athens☆9Updated 5 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- ☆8Updated 3 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Updated 9 months ago
- PyTorch implementation of binary tree convolution☆50Updated 5 years ago
- ☆21Updated 7 years ago
- Join ordering optimization using Deep Reinforcement Learning☆43Updated 4 years ago
- An Oblivious General-Purpose SQL Database for the Cloud☆57Updated 5 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- A Datalog compiler and library☆19Updated 4 years ago
- Implementation of DeepDB: Learn from Data, not from Queries!☆102Updated 2 years ago
- An automata learning library written in Python.☆49Updated 5 years ago
- The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…☆62Updated 8 months ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆71Updated 4 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- Get the first page of all the papers in one conference☆14Updated 6 years ago
- Learned Sort: a model-enhanced sorting algorithm☆81Updated 3 years ago
- The Automata Learning Framework☆19Updated 5 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- ☆11Updated 4 years ago
- A Scalable Peer-to-peer Lookup Protocol for Internet Applications☆10Updated 2 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆89Updated 8 months ago
- Github pages backend for https://differentialprivacy.org☆26Updated 2 weeks ago
- Benchmarking the Chase☆9Updated 7 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- ☆38Updated 2 years ago
- Reference implementations of sliding window aggregation algorithms☆44Updated 2 months ago
- Python wrapper for open source Zero Proof Knowledge Library☆31Updated 4 years ago