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☆24Nov 8, 2022Updated 3 years ago
- A program synthesis framework for verified lifting applications☆68May 24, 2026Updated 4 months ago
- ☆13Jan 16, 2019Updated 7 years ago
- Interactive SQL analytics in your browser!☆22Jan 31, 2018Updated 8 years ago
- compiler for fortran stencils using verified lifting,☆20Apr 5, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆15Jul 9, 2025Updated last year
- Parallel String Graph Construction, Transitive Reduction, and Contig Generation for De Novo Genome Assembly☆16Jun 11, 2024Updated 2 years ago
- A simple SQL parser based on Apache Calcite.☆14May 8, 2026Updated 5 months ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆30Sep 20, 2019Updated 7 years ago
- ☆41Jan 24, 2026Updated 8 months ago
- ELKI Example Project☆15Feb 6, 2025Updated last year
- ☆26Dec 11, 2024Updated last year
- Diamond reactive programming platform☆27Jul 7, 2022Updated 4 years ago
- ☆38Oct 4, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An Evaluation of Linear Probing Hashtable Algorithms☆40Nov 27, 2023Updated 2 years ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Oct 17, 2018Updated 8 years ago
- ☆10Sep 14, 2019Updated 7 years ago
- The Princess Theorem Prover☆36Oct 7, 2026Updated last week
- Integration and automation of NS-3 network simulator and Linux Containers☆12Nov 12, 2019Updated 6 years ago
- ☆32Nov 2, 2025Updated 11 months ago
- ☆10Sep 7, 2016Updated 10 years ago
- Citadel: Enterprise Search☆15May 2, 2023Updated 3 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 北大成绩查询页面（Re-implemented by Angular）☆20Jan 19, 2024Updated 2 years ago
- Parallel ML benchmark suite☆23Dec 8, 2025Updated 10 months ago
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 3 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- Stream processing engine☆13Apr 7, 2021Updated 5 years ago
- Portable Integrated Customizable and Open Transaction Manager☆14Dec 7, 2025Updated 10 months ago
- Open paper reading club @ JetBrains☆38Oct 14, 2024Updated 2 years ago
- X-Trace is a tool that provides fine-grained visibility into large, complex distributed systems. It can be used by application developers…☆28Jun 9, 2014Updated 12 years ago
- A Data Converter for Nuplan and VAD(VADv2)☆24Nov 26, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A platform for collecting, analyzing, and visualizing social media data.☆13Dec 27, 2020Updated 5 years ago
- 北大树洞备份关注列表脚本☆14Sep 12, 2022Updated 4 years ago
- ☆16Jan 25, 2026Updated 8 months ago
- FOundation of stXXl and thriLL☆14Jan 24, 2024Updated 2 years ago
- An unofficial Wiki for UM-SJTU JI Dual-Degree Program.☆17Mar 27, 2023Updated 3 years ago
- Code for my Code Injection presentation on JavaZone 2011☆12Jul 29, 2013Updated 13 years ago
- ☆11May 21, 2021Updated 5 years ago