☆33Sep 11, 2018Updated 8 years ago
Alternatives and similar repositories for flexps
Users that are interested in flexps are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A more expressive and most importantly, more efficient system for distributed data analytics.☆100Mar 29, 2019Updated 7 years ago
- ☆13Apr 25, 2017Updated 9 years ago
- sgx-based encrypted deduplication prototype☆13May 14, 2021Updated 5 years ago
- A toolkit for de novo genome assembly based on Pregel.☆12Dec 16, 2019Updated 6 years ago
- An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LL…☆26Jul 1, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆25Oct 8, 2018Updated 8 years ago
- Dual-way gradient sparsification approach for async DNN training, based on PyTorch.☆10Dec 8, 2022Updated 3 years ago
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆83Dec 17, 2024Updated last year
- ☆17Sep 20, 2021Updated 5 years ago
- Bridging Immutable and Mutable Abstractions for Distributed Data Analytics☆12May 15, 2019Updated 7 years ago
- MPC Server for PySpark inpired by the LakeSail☆18Feb 26, 2026Updated 7 months ago
- Multiple 1-stencil implementations using nvidia cuda.☆12Dec 2, 2017Updated 8 years ago
- ☆21Jun 24, 2021Updated 5 years ago
- Discovery of Structured Parallelism In Sequential and Parallel Code☆10Feb 13, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- High-level performance analyser toolkit for Intel SGX☆39Aug 30, 2019Updated 7 years ago
- GPU topology-aware scheduler☆13Jul 7, 2017Updated 9 years ago
- Artifact Evaluation for OSDI'26 paper CoPilotIO: CPU as a Co-pilot for GPU I/O to Free GPU Compute☆24May 9, 2026Updated 5 months ago
- StarPU Runtime system☆16Sep 22, 2010Updated 16 years ago
- ☆13Jun 22, 2021Updated 5 years ago
- ☆23May 6, 2022Updated 4 years ago
- Compartmentalization using hardware and software techniques.☆13Aug 28, 2025Updated last year
- Distributed FM and LR based on Rabit with Lbfgs☆27Aug 11, 2016Updated 10 years 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.
- An efficient large-scale graph mining framework.☆63May 12, 2021Updated 5 years ago
- High-dimensional approximate nearest neighbor in python☆11Sep 18, 2018Updated 8 years ago
- A curated list of awesome resources regarding machine learning reliability.☆32Apr 26, 2021Updated 5 years ago
- logistic regression model by ftrl based on ps-lite(parameter server)☆33Sep 11, 2016Updated 10 years ago
- ☆21Oct 2, 2018Updated 8 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆48Apr 15, 2018Updated 8 years ago
- Very accessible code for my MSc thesis. Inexpensive quantization method for ANN search also known as Enhanced Residual VQ.☆14Jun 15, 2020Updated 6 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- Triangle Counting for the GPU using CUDA.☆14Nov 5, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Analyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]☆11May 17, 2025Updated last year
- ☆17Jun 25, 2017Updated 9 years ago
- Kivi: verifying your Kubernetes clusters☆23Nov 8, 2023Updated 2 years ago
- Flash Driver for FTLs☆15Feb 3, 2025Updated last year
- An Opinionated Formatter for Verus☆22Oct 1, 2026Updated last week
- ☆38Jan 27, 2018Updated 8 years ago
- Object-Oriented Programming☆12Aug 26, 2021Updated 5 years ago