animetosho / jit_smc_testView external linksLinks
Test self-modifying code behaviour on processors for single-use JIT functions
☆55Jul 4, 2020Updated 5 years ago
Alternatives and similar repositories for jit_smc_test
Users that are interested in jit_smc_test are comparing it to the libraries listed below
Sorting:
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated 2 weeks ago
- CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆17Jun 19, 2024Updated last year
- ☆18May 1, 2020Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- An x86_64 assembler written in bash.☆11Jul 14, 2024Updated last year
- newest version of small C that i know about, compiles to 32-bit fasm/nasm syntax assembly☆13Feb 26, 2015Updated 10 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Compact, non-backtracking, unicode aware regular expressions in C89☆10Apr 17, 2025Updated 9 months ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated 3 weeks ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- Linearizability Hoare Logic☆17Updated this week
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Software artifacts for "UC-Check: Characterizing Micro-operation Caches in x86 Processors and Implications in Security and Performance" (…☆11Dec 27, 2021Updated 4 years ago
- My blog☆25Dec 22, 2024Updated last year
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 5 years ago
- A small embeddable Lisp for the Zig ecosystem λ☆26Updated this week
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆18Apr 1, 2025Updated 10 months ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Poireau: a sampling allocation debugger☆98Feb 3, 2022Updated 4 years ago
- The first C compiler made to work under modern GCC☆167Jun 30, 2021Updated 4 years ago
- Responsibly allocating memory in C☆12Sep 9, 2021Updated 4 years ago
- ☆15Aug 3, 2025Updated 6 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Assembly-optimized Marvin32 hash function☆12Jan 17, 2024Updated 2 years ago
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- Old versions of the UNIX Programmer's manual☆14Jun 17, 2023Updated 2 years ago
- A benchmark for C program verification☆17Feb 22, 2024Updated last year
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago