Alternatives and similar repositories for matmul:

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

• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 10 months ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆25Updated 3 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 10 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 4 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• AZHenley / bignum
  A bignum library for C.
  ☆34Updated 7 months ago
• sheredom / yair
  🦜 yair - a high-level compiler IR entirely written in Rust
  ☆38Updated 3 years ago
• ahgamut / ripgrep
  ripgrep recursively searches directories for a regex pattern while respecting your gitignore
  ☆19Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆32Updated this week
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• obi1kenobi / monad_compiler
  A compiler for the MONAD language from Advent of Code 2021 Day 24
  ☆21Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆100Updated 6 months ago
• leissa / whilec
  An interpreter/compiler for a toy language called While. The implementation is in Python.
  ☆19Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 4 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 weeks ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆27Updated this week
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• sgmarz / ttrust
  Teeny Tiny Compiler built in Rust
  ☆16Updated last year
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 3 months ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• ryao / llama3.c
  A fork of llama3.c used to do some R&D on inferencing
  ☆18Updated last month
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆29Updated 3 years ago
• humz2k / sugaryc
  C, but with function overloading, operator overloading, modules (kind of), templates (kind of), and uniform function call syntax (and a g…
  ☆14Updated 6 months ago