HVM2 (2024): a massively parallel, optimal functional runtime in Rust
☆42Sep 16, 2026Updated 3 weeks ago
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:
- Archived: MLIR backend for Nx. Beaver already provides Triton integration for GPU kernels.☆15May 24, 2024Updated 2 years ago
- Introduction to MLIR and xDSL training course☆22Oct 2, 2023Updated 3 years ago
- Customizable bots (OpenAI GPT, xAI Grok, Anthropic Claude) that work together on projects or in a discussion☆14Aug 19, 2026Updated last month
- 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
- 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.
- ☆124May 30, 2026Updated 4 months ago
- ☆61Jan 5, 2025Updated last year
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 4 months ago
- C Compiler written in Kotlin☆13Apr 19, 2024Updated 2 years ago
- A chess engine made in rust cause I hate myself☆10May 30, 2025Updated last year
- ☆13Oct 14, 2025Updated 11 months ago
- Scalable and Stable Parallelization of Nonlinear RNNS☆33Jun 28, 2026Updated 3 months ago
- Transform Unstructured Data into Synthetic Datasets☆26Sep 3, 2024Updated 2 years ago
- A simple ToDo app for the Terminal (Linux, Mac, Windows)☆15Jun 10, 2025Updated last year
- 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.
- An interactive interpreter for asynchronous algebraic effects☆16Jun 19, 2024Updated 2 years ago
- A portable parser combinator library that does not require a runtime☆13Sep 16, 2019Updated 7 years ago
- Personal Haxe libraries☆21Jan 15, 2025Updated last year
- A Vue App for quickly generating KML Search Grids☆13Nov 12, 2024Updated 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
- Programming Language Void☆14Oct 2, 2026Updated last week
- An OpenGL loader tailored to gfx-rs's needs.☆14Feb 4, 2020Updated 6 years ago
- Write raw video to FFmpeg stdin PIPE, read encoded FLV H.264 from stdout PIPE and convert to Annex B.☆12Jul 9, 2020Updated 6 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.
- 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 last year
- Toward Semantic Gaze Target Detection☆19Sep 23, 2026Updated 2 weeks 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 2 years ago
- ☆23Sep 27, 2024Updated 2 years ago
- A place to house minutes and other documents related to the core team.☆14Dec 16, 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 6 years ago
- Godot community health files☆13Apr 30, 2024Updated 2 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.
- Efficient Decision tree Ensembles library for IoT edge nodes☆15Jan 29, 2025Updated 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
- ☆15Jul 5, 2025Updated last year
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- Hey! An Interruption and Time Tracking Command line app.☆13Nov 19, 2024Updated last year
- Busy Beaver deciders backed by Coq proof☆62Mar 2, 2025Updated last year
- ☆16Jan 7, 2019Updated 7 years ago