Lulzx / hvmLinks
A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
☆31Updated 2 weeks ago
Alternatives and similar repositories for hvm
Users that are interested in hvm are comparing it to the libraries listed below
Sorting:
- Zero heap allocation HTTP server using OxCaml. v experimental!☆60Updated this week
- dependent type theory experiment☆26Updated last year
- ☆55Updated last year
- An implementation of interaction nets as a forth-like language.☆44Updated last month
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A template for you to implement Hazelnut yourself☆22Updated 5 months ago
- Polymorphic guarded λ-calculus☆23Updated 5 months ago
- Animation of Yves Lafont's Interaction Combinators☆23Updated 3 years ago
- regexes for trees; grep for s-exprs☆18Updated last year
- A Rust to OCaml source to source translator☆21Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- Messing around with delimited continuations, fibers, and algebraic effects☆16Updated 4 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- ☆134Updated 3 weeks ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆62Updated 6 months ago
- A low level, expressive language☆13Updated last year
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆41Updated 2 months ago
- A JS devtool orchestrator☆54Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated last month
- Compiler for the Vale programming language - http://vale.dev/☆34Updated last year
- Type-level interfaces for type-level design in Rust☆25Updated 11 months ago
- A functional programming language with shell scripting capabilities☆130Updated 3 weeks ago
- ☆64Updated last year
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆58Updated 5 months ago
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Updated 4 months ago
- A minimal language inspired by Lisp and Haskell☆20Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Reference counting with linear types☆31Updated last month
- Linear lens☆21Updated last year