jart / matmul
☆18Updated 7 months ago
Alternatives and similar repositories for matmul:
Users that are interested in matmul are comparing it to the libraries listed below
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Binary Lambda Calculus Virtual Machine☆49Updated last year
- egg is a flexible, high-performance e-graph library☆11Updated 10 months ago
- An optimizing compiler for a large subset of the C programming language☆25Updated 3 months ago
- A C11 compiler for the discrete logic computer☆20Updated 10 months ago
- Modeling futexes in TLA+☆22Updated 4 months ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- A bignum library for C.☆34Updated 7 months ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆38Updated 3 years ago
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆19Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆32Updated this week
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A compiler for the MONAD language from Advent of Code 2021 Day 24☆21Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆100Updated 6 months ago
- An interpreter/compiler for a toy language called While. The implementation is in Python.☆19Updated last year
- egraphs-good website☆15Updated 4 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 weeks ago
- An experimental programming language for ergonomic software verification☆16Updated this week
- Fast WebAssembly Baseline Compiler☆56Updated last year
- Programming language for ternary computing☆30Updated 4 years ago
- An implementation of interaction nets as a forth-like language.☆27Updated this week
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- REPL for C preprocessor of C++17☆10Updated last year
- Teeny Tiny Compiler built in Rust☆16Updated last year
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 3 months ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- A fork of llama3.c used to do some R&D on inferencing☆18Updated last month
- Rutgers APL correctly rounded math library☆29Updated 3 years ago
- 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