A massively parallel, optimal functional runtime in Rust
☆31Aug 7, 2024Updated last year
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.☆80Sep 9, 2024Updated last year
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆937Nov 13, 2025Updated 4 months ago
- ☆13Dec 31, 2023Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆85Feb 17, 2017Updated 9 years ago
- ☆60Jan 5, 2025Updated last year
- Scalable and Stable Parallelization of Nonlinear RNNS☆29Mar 6, 2026Updated 2 weeks ago
- Fast spectral clustering, described in the NeurIPS'23 paper "Fast and Simple Spectral Clustering in Theory and Practice"☆17Jun 19, 2025Updated 9 months ago
- ☆22Mar 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
- Animation of Yves Lafont's Interaction Combinators☆23Jan 30, 2022Updated 4 years ago
- Temporary repository for Kind2's refactor based on HVM2☆280Sep 25, 2024Updated last year
- Offline-first, decentralized graph database of collaborative Web apps☆15May 12, 2017Updated 8 years ago
- Tribu an open-source mobile app that brings people together in private groups. Hang out with your family, friends, or colleagues and enj…☆16Aug 1, 2023Updated 2 years ago
- Transform Unstructured Data into Synthetic Datasets☆26Sep 3, 2024Updated last year
- Source code for https://inscribe.scrypt.io☆15Mar 13, 2024Updated 2 years ago
- ☆13Dec 15, 2025Updated 3 months ago
- ☆12Apr 5, 2023Updated 2 years ago
- dotfile for all my tools!☆12Mar 4, 2026Updated 2 weeks ago
- Neural-etwork-parameters-with-Diffusion☆38May 27, 2024Updated last year
- An OpenGL loader tailored to gfx-rs's needs.☆14Feb 4, 2020Updated 6 years ago
- ☆13Mar 9, 2026Updated 2 weeks ago
- ☆23Sep 27, 2024Updated last year
- Write raw video to FFmpeg stdin PIPE, read encoded FLV H.264 from stdout PIPE and convert to Annex B.☆12Jul 9, 2020Updated 5 years ago
- Compare how fine-tuned AI video models interpret the same prompts☆14Jan 29, 2025Updated last year
- Hacky code to launch our old versions from the new launcher!☆10Aug 25, 2020Updated 5 years ago
- Godot community health files☆12Apr 30, 2024Updated last year
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17May 7, 2024Updated last year
- 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
- Tutorial for building a fully onchain application on Bitcoin, exemplified using Tic-tac-toe.☆16Apr 8, 2024Updated last year
- ☆22Oct 23, 2019Updated 6 years ago
- Simple message broker written on Rust☆13Jan 27, 2024Updated 2 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…☆10Jan 30, 2026Updated last month
- A bitcoin blockchain API for web wallets☆16Nov 9, 2019Updated 6 years ago
- Busy Beaver deciders backed by Coq proof☆61Mar 2, 2025Updated last year
- WebGraph is a framework for graph compression.☆17Jun 22, 2025Updated 9 months ago
- Generate release notes for "The Rust Programming Language"☆18Jan 25, 2026Updated last month
- Build A-Frame scenes using this simple VR editor.☆20Mar 9, 2017Updated 9 years ago
- A WIP language server for Minecraft shaderpacks☆14Jan 21, 2026Updated 2 months ago
- A C# abstraction on top of Godot's input events that makes life just a little bit easier☆10Feb 1, 2018Updated 8 years ago