Lulzx / hvmLinks
A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
☆26Updated this week
Alternatives and similar repositories for hvm
Users that are interested in hvm are comparing it to the libraries listed below
Sorting:
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- ☆55Updated 11 months ago
- dependent type theory experiment☆26Updated last year
- ☆17Updated 2 years ago
- Polymorphic guarded λ-calculus☆23Updated 5 months ago
- Animation of Yves Lafont's Interaction Combinators☆21Updated 3 years ago
- A template for you to implement Hazelnut yourself☆22Updated 5 months ago
- Linear lens☆21Updated last year
- Interaction net resources☆41Updated 2 weeks ago
- regexes for trees; grep for s-exprs☆18Updated last year
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆61Updated 5 months ago
- A functional programming language with shell scripting capabilities☆128Updated this week
- A low level, expressive language☆13Updated last year
- A functional scripting language.☆17Updated 11 months ago
- ☆16Updated 2 years ago
- Unison Share's backend server☆30Updated last week
- The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…☆21Updated this week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- A simple, lightweight library for ANSI styling.☆24Updated last month
- The Montreal Haskell Compiler☆26Updated 2 months ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- OCaml plus Jane Street extensions☆73Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated last month
- 🧪 | LLVM backend for HVM☆23Updated 2 years ago
- Idris Version Manager☆16Updated 9 months ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Updated 4 years ago
- Class of data structures that can be unfolded.☆22Updated 2 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- A TOML parser for Idris 2☆17Updated last year
- A cross-platform driver for Tauri in Haskell☆52Updated last year