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
  ☆53Updated last year
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆29Updated 4 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• AZHenley / bignum
  A bignum library for C.
  ☆32Updated 9 months ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆56Updated last month
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 6 months ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆10Updated last month
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last week
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 7 months ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated last month
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 2 weeks ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆13Updated 8 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• ahgamut / ripgrep
  ripgrep recursively searches directories for a regex pattern while respecting your gitignore
  ☆19Updated last year
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆26Updated 4 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• redstar / llvm-m88k
  LLVM backend for m88k architecture
  ☆50Updated last month
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• cmuparlay / psac
  Parallel Self-Adjusting Computation
  ☆13Updated 3 years ago
• viznut / vzgpt
  Viznut's C-only GPT-2 implementation
  ☆50Updated 2 years ago
• BodhiHu / L-Mul
  C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907
  ☆27Updated 6 months ago