A compiler for automatically re-targeting sequential Java code to Apache Spark.
☆54Jun 15, 2023Updated 3 years ago
Alternatives and similar repositories for Casper
Users that are interested in Casper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- compiling DSLs to high-level hardware instructions☆25Nov 8, 2022Updated 4 years ago
- ☆10Jan 11, 2021Updated 5 years ago
- ☆13Jan 16, 2019Updated 7 years ago
- Interactive SQL analytics in your browser!☆22Jan 31, 2018Updated 8 years ago
- Synthesizing SQL queries from input / output examples☆47Nov 18, 2020Updated 5 years ago
- AI Agents on 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.
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆15Jul 9, 2025Updated last year
- a compiler for re-writing image processing functions in C++ to Halide☆26Jan 28, 2023Updated 3 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 4 years ago
- Visualization synthesis☆15May 12, 2021Updated 5 years ago
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 3 years ago
- Visual Road: A Video Data Management Benchmark☆12Oct 10, 2020Updated 6 years ago
- (AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to…☆17May 13, 2025Updated last year
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆44Aug 20, 2026Updated 2 months ago
- Spatialyze: A Geospatial Video Analytic System with Spatial-Aware Optimizations☆13Mar 3, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A framework for PSL inference.☆22Nov 9, 2015Updated 11 years ago
- Efficient Sampling of SAT Solutions for Testing☆34Sep 20, 2019Updated 7 years ago
- A simple SQL parser based on Apache Calcite.☆14May 8, 2026Updated 6 months ago
- A compiler for Pig Latin to Spark and Flink.☆24Nov 21, 2019Updated 6 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆35Jan 19, 2023Updated 3 years ago
- ☆11Jun 29, 2021Updated 5 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆149May 2, 2024Updated 2 years ago
- Code associated with a research project for experimenting with different ways of surfacing stylistic, analytic, or visual discrepancies i…☆14Dec 12, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The Actor-Gatherer framework: a context management framework for AI agents.☆25Updated this week
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆30Sep 20, 2019Updated 7 years ago
- A programming language for fun☆13Dec 8, 2023Updated 2 years ago
- This Repository is for a Senior Graduation Project in Misr International University. The Project aims to construct an Electronic-Nose for…☆14May 28, 2022Updated 4 years ago
- ☆41Jan 24, 2026Updated 9 months ago
- Diamond reactive programming platform☆27Jul 7, 2022Updated 4 years ago
- ☆11Feb 24, 2019Updated 7 years ago
- Code from the Functional Scala Conference talk: Type inference for plain-text SQL☆10Dec 5, 2024Updated last year
- ☆48Jan 24, 2026Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LAGr: Label Aligned Graphs for Better Systematic Generalization in Semantic Parsing☆10Jun 1, 2022Updated 4 years ago
- ☆26Dec 11, 2024Updated last year
- History-Driven Test Program Synthesis for JVM Testing☆10Nov 12, 2021Updated 5 years ago
- ☆12Jul 28, 2024Updated 2 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- Summarizing Source Code using a Neural Attention Model - CODENN☆237Jan 23, 2023Updated 3 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆40Nov 27, 2023Updated 2 years ago
Are these results useful?