HVM2 (2024): a massively parallel, optimal functional runtime in Rust
☆37Sep 16, 2026Updated this week
Alternatives and similar repositories for HVM2
Users that are interested in HVM2 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 programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆950Nov 13, 2025Updated 10 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
- Fast spectral clustering, described in the NeurIPS'23 paper "Fast and Simple Spectral Clustering in Theory and Practice"☆18Jun 19, 2025Updated last year
- ☆23Dec 7, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆25Mar 1, 2022Updated 4 years ago
- Eagle and EagleSim: Deep-RL for PTZ Cameras☆10Aug 23, 2024Updated 2 years ago
- Animation of Yves Lafont's Interaction Combinators☆24Jan 30, 2022Updated 4 years ago
- Lightweight Neural Architecture Search for Temporal Convolutional Networks at the Edge☆10Mar 6, 2023Updated 3 years ago
- ☆121May 30, 2026Updated 3 months ago
- ☆61Jan 5, 2025Updated last year
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 4 months ago
- ZX Spectrum implementation on Tang Nano 9K☆14Mar 25, 2024Updated 2 years ago
- Simple Parser Combinators in Go☆15Nov 5, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Oct 14, 2025Updated 11 months ago
- Scalable and Stable Parallelization of Nonlinear RNNS☆33Jun 28, 2026Updated 2 months ago
- An XML difference tool in Java☆13Jun 25, 2026Updated 2 months ago
- ☆15Aug 21, 2026Updated 3 weeks ago
- ☆36Mar 27, 2025Updated last year
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated 2 years ago
- A portable parser combinator library that does not require a runtime☆13Sep 16, 2019Updated 7 years ago
- Mainboard replacement for Commodore PET/CBM series machines☆18Updated this week
- A Vue App for quickly generating KML Search Grids☆13Nov 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.
- MyCompiler - A small IR for building programming languages.☆26Updated this week
- ☆19Apr 29, 2025Updated last year
- ☆12Apr 5, 2023Updated 3 years ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆71Dec 29, 2023Updated 2 years ago
- A System Verilog/FPGA implementation of the Gigatron project.☆19Oct 29, 2018Updated 7 years ago
- cyanotype-inspired vector tile styles☆15Dec 6, 2015Updated 10 years ago
- Buttons and switches for keyboard applications☆15Nov 8, 2017Updated 8 years ago
- An OpenGL loader tailored to gfx-rs's needs.☆14Feb 4, 2020Updated 6 years ago
- Parser-combinator in Go☆10Jul 19, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Using Keras and OCR to classify Identity Card, Driving License and Passport☆10Apr 5, 2022Updated 4 years ago
- Audio-Video Encoder☆10Apr 29, 2021Updated 5 years ago
- ☆12Jul 29, 2026Updated last month
- Create music by the power of math!☆21Oct 9, 2023Updated 2 years ago
- A C++ implementation of active inference for POMDPs☆23Mar 25, 2024Updated 2 years ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆34Oct 8, 2025Updated 11 months ago
- WCC C Compiler for x86_64 Linux☆25Updated this week