jbarczak / HAXWellView external linksLinks
Code which loads custom ISA on Intel Haswell GPUs
☆47Sep 12, 2016Updated 9 years ago
Alternatives and similar repositories for HAXWell
Users that are interested in HAXWell are comparing it to the libraries listed below
Sorting:
- AVX optimized ray stream tracing☆19Oct 19, 2016Updated 9 years ago
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- This repository contains a non-copying implementation of a sliding windows iterator adaptor.☆11Jun 17, 2017Updated 8 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 9 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Nov 25, 2025Updated 2 months ago
- AVX512 population count routines☆23Aug 2, 2019Updated 6 years ago
- GNU Superoptimizer Version 2☆26May 19, 2021Updated 4 years ago
- Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats☆28Jun 15, 2022Updated 3 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 9 months ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- Original Joy☆10Dec 17, 2024Updated last year
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- A simple macro library for creating phantom enums. Just simple sugar.☆14Jun 8, 2016Updated 9 years ago
- Constant Time Operations for Crypto Libraries☆10Jun 22, 2017Updated 8 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- R package providing Asio C++ library header files☆14Nov 26, 2025Updated 2 months ago
- ☆13Sep 30, 2020Updated 5 years ago
- A tiny tool to learn the assembly code☆12Feb 17, 2017Updated 8 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- A small standalone WebAssembly interpreter in Rust☆36Nov 12, 2018Updated 7 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 5 years ago
- Common code library☆14Feb 3, 2018Updated 8 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- A compact library for C99 (and MSVC in C++ mode) providing refcounted arrays, maps, lists and a cool lexical scanner.☆43Apr 5, 2017Updated 8 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆18Apr 1, 2025Updated 10 months ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated this week
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 7 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Jul 18, 2012Updated 13 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- A benchmark for C program verification☆17Feb 22, 2024Updated last year
- Identifying the compiler family, version and compiler flags that generated a binary☆19Dec 19, 2019Updated 6 years ago
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- 3d planet demo in gfx/rust☆14Jan 13, 2017Updated 9 years ago