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
Sorting:
- MLIR backend for Nx☆14May 24, 2024Updated last year
- Source code for tutorial on creating 2d shadows in webgl. Video: https://www.youtube.com/watch?v=UuWefkOwuRY☆16Jan 6, 2023Updated 3 years ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆931Nov 13, 2025Updated 3 months ago
- Animation of Yves Lafont's Interaction Combinators☆23Jan 30, 2022Updated 4 years ago
- Scalable and Stable Parallelization of Nonlinear RNNS☆29Oct 21, 2025Updated 4 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆85Feb 17, 2017Updated 9 years ago
- Busy Beaver deciders backed by Coq proof☆61Mar 2, 2025Updated 11 months ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Oct 8, 2025Updated 4 months ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆71Dec 29, 2023Updated 2 years ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- A Python framework for interacting with in-browser DOM via websockets☆11Mar 28, 2018Updated 7 years ago
- ROS2 stack for the Sowbot open hardware reference platforms. We're working towards a precision-guided seeding/weeding robot.☆40Updated this week
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years ago
- Code for the Making WAVs video☆35Aug 26, 2020Updated 5 years ago
- A probabilistic approximate DNF counter☆39Nov 30, 2025Updated 3 months ago
- Deniz's C Library☆22May 8, 2014Updated 11 years ago
- Uber god-view server and frontend for archived data☆11Sep 19, 2016Updated 9 years ago
- my own Minecraft shaderpack, from scratch☆13Feb 13, 2026Updated 2 weeks ago
- Generate a 3D picture (Multi Picture Object) from two jpeg☆10Mar 16, 2024Updated last year
- Creates Random Coding Sequences with specified GC content and Amino Acid usage☆10Jun 21, 2022Updated 3 years ago
- Heroes of Might and Magic III damage calculator.☆16Jun 22, 2022Updated 3 years ago
- A minimalistic deployment software focused on simplicity and clarity.☆11Feb 12, 2022Updated 4 years ago
- Apache Subversion JavaHL☆10Mar 16, 2023Updated 2 years ago
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 4 months ago
- ☆15Sep 7, 2025Updated 5 months ago
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- A hint system for the video game "Blue Prince"☆21Feb 1, 2026Updated last month
- ☆10Mar 30, 2023Updated 2 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Some kind of TidalCycles implementation for SuperCollider☆14May 29, 2020Updated 5 years ago
- ☆13Dec 21, 2025Updated 2 months ago
- ☆11Jan 28, 2023Updated 3 years ago
- Direct transcription of an optimal control problem and resolution☆12Updated this week
- ☆14Jul 5, 2025Updated 7 months ago
- the project of operating system course.☆11Jul 30, 2017Updated 8 years ago
- A conformant OpenGL ES implementation for Windows, Mac, Linux, iOS and Android (static library config for Godot).☆13Dec 15, 2025Updated 2 months ago
- G'MIC-Qt is a versatile front-end to the image processing framework G'MIC.☆16Updated this week