Alternatives and similar repositories for HVM1:

Users that are interested in HVM1 are comparing it to the libraries listed below

• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆70Updated 4 months ago
• LeetArxiv / Finite-Field-Assembly
  The Finite Field Assembly Programming Language
  ☆34Updated last week
• HigherOrderCO / HVM3
  HVM3
  ☆131Updated this week
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆59Updated 6 months ago
• znah / zff
  8-bit computational substrates
  ☆39Updated 7 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated 5 months ago
• EugenHotaj / zig_gpt2
  GPT-2 inference engine written in Zig
  ☆36Updated last year
• doomslide / autoloom
  ☆20Updated 2 months ago
• adamnemecek / traceoid.ai
  ☆51Updated last month
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 3 months ago
• Dan-wanna-M / kbnf
  A high-performance constrained decoding engine based on context free grammar in Rust
  ☆44Updated 3 weeks ago
• HigherOrderCO / kindbook
  ☆41Updated 3 weeks ago
• geekyayush / bend-lang
  Unofficial guide to Bend programming language
  ☆30Updated 7 months ago
• lumpenspace / FRAG
  Flexible, efficient, and context-aware generation from large unstructured knowledge sources.
  ☆15Updated 8 months ago
• EricLBuehler / zig_ml
  Tensor library for Zig
  ☆10Updated 2 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆24Updated 2 weeks ago
• charlesfrye / cuda-substrings
  Because it's there.
  ☆14Updated 4 months ago
• neurallambda / arc-like
  Like ARC, but code to generate visual puzzles. 1D puzzles first.
  ☆17Updated 5 months ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆31Updated 4 months ago
• mrsteyk / rwkvk-rs
  ☆32Updated last year
• ekzhang / aoc23-alpha
  Advent of Code 2023 in 25 interesting language specimens, A-Z
  ☆32Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆57Updated 2 weeks ago
• LaurentMazare / glim
  ☆17Updated 3 months ago
• vezel-dev / graf
  A graph-oriented intermediate representation, optimization framework, and machine code generator.
  ☆26Updated this week
• remyxai / LocalMentor
  Local Startup Advisor Chatbot
  ☆30Updated last year
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆97Updated last year
• dottxt-ai / cursed
  ☆15Updated 2 months ago
• harp-lab / gdlog
  ☆79Updated 3 months ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆47Updated 2 weeks ago
• SilasMarvin / dnns-from-scratch-in-zig
  ☆67Updated 5 months ago