☆19Oct 14, 2018Updated 7 years ago
Alternatives and similar repositories for cpp-linear-algebra-brainstorming
Users that are interested in cpp-linear-algebra-brainstorming are comparing it to the libraries listed below
Sorting:
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- LLVM Metadata Visualizer☆21Nov 30, 2017Updated 8 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Jun 25, 2018Updated 7 years ago
- Cooperative Primitives for CUDA C++ Kernel Authors. This repository contains CUB PRs from Q4 2019 until Q4 2020.☆22Sep 23, 2020Updated 5 years ago
- Optimizing compilation times of Generated Code with Templates☆28Nov 5, 2017Updated 8 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆31Jan 7, 2022Updated 4 years ago
- ☆20Aug 10, 2025Updated 6 months ago
- CI system for premerge-testing in LLVM project☆43Jun 5, 2025Updated 8 months ago
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆27Jun 4, 2025Updated 8 months ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- ☆49Oct 10, 2023Updated 2 years ago
- A framework that helps implementing swizzle GPU kernels☆51Feb 29, 2020Updated 5 years ago
- IDA Pro plugin to recovery static Thumb2 symbols.☆13Sep 14, 2021Updated 4 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- Stop! Don't panic, you can still fix this...☆11Aug 3, 2021Updated 4 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- ☆15Oct 4, 2012Updated 13 years ago
- Sega Ring[Edge*|Wide] alternate SSD softmod. Need a cloned drive? No problem...☆12May 1, 2022Updated 3 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 11, 2026Updated 2 weeks ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- PSSpecifiers examples☆11May 12, 2018Updated 7 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Verilog code of Loongson's GS132 core☆12Dec 19, 2019Updated 6 years ago
- They’re files that have dots in them.☆16Dec 28, 2024Updated last year
- do not debug me☆11Jun 26, 2019Updated 6 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- ☆13Jun 26, 2020Updated 5 years ago