jart / matmul

Related projects ⓘ

Alternatives and complementary repositories for matmul

• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆45Updated 9 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆21Updated this week
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆28Updated 3 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 weeks ago
• rusini / manool-2
  Compiler Optimizations Playground
  ☆27Updated 3 years ago
• mark-sed / ebe
  Edit by Example - automated file editing just from given examples.
  ☆15Updated 2 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 7 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆54Updated last year
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last month
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• kprotty / pzero
  A collection of tools for building concurrent systems
  ☆30Updated last year
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆46Updated last year
• BodhiHu / L-Mul
  C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907
  ☆25Updated 3 weeks ago
• leissa / whilec
  An interpreter/compiler for a toy language called While. The implementation is in Python.
  ☆19Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆66Updated this week
• sgmarz / ttrust
  Teeny Tiny Compiler built in Rust
  ☆16Updated 11 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 2 years ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆25Updated 7 months ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated 2 weeks ago
• ahgamut / ripgrep
  ripgrep recursively searches directories for a regex pattern while respecting your gitignore
  ☆19Updated last year
• marcelmaatkamp / cosmopolitan-nethack
  ☆10Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated 10 months 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 3 months ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 3 weeks ago
• obi1kenobi / monad_compiler
  A compiler for the MONAD language from Advent of Code 2021 Day 24
  ☆20Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆94Updated 3 months ago
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated 6 months ago