Lulzx / hvmLinks
A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
☆31Updated last month
Alternatives and similar repositories for hvm
Users that are interested in hvm are comparing it to the libraries listed below
Sorting:
- A template for you to implement Hazelnut yourself☆22Updated 6 months ago
- ☆55Updated last year
- dependent type theory experiment☆26Updated last year
- An implementation of interaction nets as a forth-like language.☆44Updated 2 months ago
- Zero heap allocation HTTP server using OxCaml. v experimental!☆117Updated 2 weeks ago
- ☆139Updated last week
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 months ago
- regexes for trees; grep for s-exprs☆18Updated last year
- A functional programming language with shell scripting capabilities☆131Updated last month
- Messing around with delimited continuations, fibers, and algebraic effects☆16Updated 4 years ago
- McLulang: The message is the language☆12Updated last year
- Animation of Yves Lafont's Interaction Combinators☆23Updated 4 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆63Updated 7 months ago
- ☆16Updated 3 years ago
- Interoperable effects based concurrency☆142Updated 2 weeks ago
- A low level, expressive language☆14Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- Interaction net resources☆43Updated last week
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated last month
- A minimal proof checker.☆79Updated last year
- Class of data structures that can be unfolded.☆22Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- my personal lang☆17Updated 2 years ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆40Updated 7 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- Reader to enable embedding images in source files as text☆22Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Racket parser for tree-sitter☆36Updated last month