A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
☆40Feb 22, 2026Updated 7 months ago
Alternatives and similar repositories for hvm
Users that are interested in hvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.☆79Updated this week
- ☆124May 30, 2026Updated 4 months ago
- Animation of Yves Lafont's Interaction Combinators☆24Jan 30, 2022Updated 4 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- ☆25May 21, 2026Updated 4 months 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.
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 9 months ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 2 months ago
- A cross-platform dotfiles manager☆15Jul 30, 2026Updated 2 months ago
- competitive programming language☆10Jun 24, 2024Updated 2 years ago
- Conway's Game of Life using a comonad☆24Jan 3, 2025Updated last year
- Nix ❤️ Cardano☆20Aug 2, 2026Updated 2 months ago
- An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and t…☆27Aug 4, 2026Updated 2 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆795Sep 28, 2026Updated last week
- A portable linker for multiple file formats.☆20Aug 28, 2023Updated 3 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.
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- Embedded-first ActivityPub server framework☆24Sep 30, 2026Updated last week
- Natural 🌿 effect system that fits TypeScript☆62Aug 22, 2024Updated 2 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- Effortless zero allocation cross-plateform command line argument parsing library.☆18Updated this week
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 3 years ago
- A Babel plugin that lets you use a Svelte like syntax with Solid☆20May 25, 2022Updated 4 years ago
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated 2 years ago
- Pocket TTS but pure C implementation inspired by Flux2.c☆25Feb 14, 2026Updated 7 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.
- A LLVM-based compiled language.☆12Oct 13, 2020Updated 5 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Apr 20, 2024Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated 2 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆29Jul 5, 2026Updated 3 months ago
- Easily consume JSON data on-demand with type-safety☆61Jan 8, 2026Updated 9 months ago
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- A helper library for working with Plutus blueprints (Aiken or Plutarch)☆19Mar 23, 2026Updated 6 months ago
- an experimental new programming language based on interaction nets☆397Sep 28, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Interactive digraphs for the Kakoune editor☆11Apr 30, 2020Updated 6 years ago
- 《표준국어대사전》 MCP 서버☆28Mar 29, 2026Updated 6 months ago
- A toy example of a verified compiler.☆32Apr 7, 2026Updated 6 months ago
- Genetic algorithms for autonomous code optimization. The LLM imagines ideas, evolution discovers which combinations work best together.☆16Apr 6, 2026Updated 6 months ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 7 years ago
- Fast-forward merge for GitHub☆33Sep 3, 2026Updated last month
- Plutarch 2.0☆19Mar 31, 2025Updated last year