A massively parallel, optimal functional runtime in Rust
☆37Aug 7, 2024Updated 2 years ago
Alternatives and similar repositories for HVM1
Users that are interested in HVM1 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 minimal proof checker.☆81Sep 9, 2024Updated last year
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆951Nov 13, 2025Updated 9 months ago
- Archived: MLIR backend for Nx. Beaver already provides Triton integration for GPU kernels.☆15May 24, 2024Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆88Feb 17, 2017Updated 9 years ago
- Cross-prediction-powered inference☆15Apr 26, 2024Updated 2 years ago
- 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.
- Fast spectral clustering, described in the NeurIPS'23 paper "Fast and Simple Spectral Clustering in Theory and Practice"☆17Jun 19, 2025Updated last year
- ☆23Dec 7, 2023Updated 2 years ago
- ☆25Mar 1, 2022Updated 4 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆17Feb 5, 2018Updated 8 years ago
- ☆115May 30, 2026Updated 2 months ago
- ☆60Jan 5, 2025Updated last year
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 3 months ago
- Offline-first, decentralized graph database of collaborative Web apps☆15May 12, 2017Updated 9 years ago
- CLI for CAT721☆11Dec 5, 2024Updated last year
- 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.
- Transform Unstructured Data into Synthetic Datasets☆26Sep 3, 2024Updated last year
- ☆35Mar 27, 2025Updated last year
- A Vue App for quickly generating KML Search Grids☆13Nov 12, 2024Updated last year
- ☆19Apr 29, 2025Updated last year
- A React zkSNARK Battleship game☆12Jan 9, 2024Updated 2 years ago
- ☆13Jun 8, 2023Updated 3 years ago
- Landing page and repository for the 'Active Agents' tutorial held 17 July, 2024 at the 10th International Conference on Computational Soc…☆23Feb 8, 2025Updated last year
- Audio-Video Encoder☆10Apr 29, 2021Updated 5 years ago
- An open-source AI podcast creator☆18Nov 9, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Jul 29, 2026Updated 2 weeks ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆34Oct 8, 2025Updated 10 months ago
- Toward Semantic Gaze Target Detection☆17Oct 24, 2025Updated 9 months ago
- wCQ: A Fast Wait-Free Queue with Bounded Memory Usage (SPAA '22)☆11Nov 26, 2023Updated 2 years ago
- This repository contains a fork from "language-models-trajectory-generators", the goal is to test the same functionality with Mistrals LL…☆21Oct 7, 2024Updated last year
- Naked-eye 3D Effect with tracking.js + three.js☆11Aug 7, 2023Updated 3 years ago
- ☆17Feb 24, 2025Updated last year
- Rust bindings to Intel MediaSDK☆13Jul 23, 2021Updated 5 years ago
- A ZIP archive format library based on 3bz☆17May 17, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆16Apr 25, 2026Updated 3 months ago
- A real-time head-tracking Gaussian Splat viewer that creates an immersive "Johnny Chung Lee" style head-coupled perspective effect.☆17Apr 5, 2026Updated 4 months ago
- Efficient Decision tree Ensembles library for IoT edge nodes☆16Jan 29, 2025Updated last year
- Communication channels between Bitcoin users, agents, and services.☆16May 29, 2024Updated 2 years ago
- This project contains the data for https://aka.ms/apicatalog, a tool to visualize and analyze the API overlap between standards specifica…☆15Mar 5, 2018Updated 8 years ago
- In the interest of transparency and/or their great value to society, I'm releasing my smaller projects/scripts upon an unsuspecting publi…☆10Jul 27, 2026Updated 2 weeks ago
- Generate release notes for "The Rust Programming Language"☆19Jan 25, 2026Updated 6 months ago