Big data spreadsheet
☆107Aug 29, 2022Updated 3 years ago
Alternatives and similar repositories for hillview
Users that are interested in hillview are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Oct 15, 2024Updated last year
- ☆19May 11, 2025Updated 11 months ago
- Engines, queries, and data for dynamic Datalog computation☆134Aug 4, 2021Updated 4 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- javascript multivariate data visualization☆14Jan 10, 2017Updated 9 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Inductive programming in JavaScript☆25May 31, 2016Updated 9 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆152Jan 11, 2026Updated 3 months ago
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Jun 17, 2022Updated 3 years ago
- Research on DrawBridge Library OS, which is base building block for MSSQL on Linux☆25Jan 5, 2018Updated 8 years ago
- ☆14Sep 29, 2019Updated 6 years ago
- SGX-aware container orchestrator☆36Mar 24, 2021Updated 5 years ago
- Comprehensive and user friendly YAML 1.2 processor written in Rust☆11Jan 4, 2023Updated 3 years ago
- ☆11Jul 12, 2021Updated 4 years ago
- fast kernel evaluation in high dimensions via hashing☆25Oct 21, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Persistent Bloom Filter☆12Jul 21, 2018Updated 7 years ago
- A variable length record, checksumming, append only rotating log implementation with graceful recovery☆56Jun 5, 2020Updated 5 years ago
- Consolidated demo and source links from Bryant Zadegan and Ryan Lester's Black Hat / DEF CON talk "Abusing Bleeding Edge Web Standards fo…☆11Aug 19, 2017Updated 8 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆22Jul 5, 2023Updated 2 years ago
- An implementation of the ASPIC+ framework for structured argumentation.☆12Apr 3, 2026Updated last week
- 😠 Jupyter Widget bindings for UpSet.js for rendering UpSet plots, Euler, and Venn Diagrams☆14Jan 17, 2026Updated 2 months ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- 🎆 35기 AND SOPT APPJAM 콘페티 서버 💎🎸 🎆☆12Updated this week
- DS2 is an auto-scaling controller for distributed streaming dataflows☆92Mar 23, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Relative data structures based on the BWT☆12Apr 28, 2018Updated 7 years ago
- Fast component based HTML template engine for Kotlin on the JVM or with KMP☆28Mar 14, 2026Updated 3 weeks ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆16Jun 13, 2020Updated 5 years ago
- ☆31Feb 22, 2024Updated 2 years ago
- IDLSet - Fast u64 integer set operations☆13May 30, 2024Updated last year
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆15Mar 23, 2026Updated 2 weeks ago
- Benchmarking for factorized processing☆11Jul 5, 2021Updated 4 years ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- Build languages on Python.☆12May 2, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- Data Flow Matrix Machines. Generalization of recurrent neural networks.☆15Dec 24, 2024Updated last year
- The main Project☆20Oct 7, 2016Updated 9 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago