Alternatives and similar repositories for lasagne-proofs:

Users that are interested in lasagne-proofs are comparing it to the libraries listed below

• shacron / sled
  Sled System Emulator
  ☆28Updated last week
• lmcad-unicamp / riscv-sbt
  RISC-V Static Binary Translator
  ☆17Updated 6 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆36Updated this week
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 3 months ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆32Updated 10 months ago
• herumi / xbyak_riscv
  ☆46Updated 2 weeks ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated last week
• philzook58 / pcode2c
  Convert low ghidra pcode to verifiable C
  ☆22Updated 7 months ago
• redstar / llvm-m88k
  LLVM backend for m88k architecture
  ☆50Updated 2 months ago
• usbarmory / GoTEE-example
  GoTEE - example application
  ☆16Updated last month
• mshockwave / SQLGen
  Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.
  ☆29Updated 2 years ago
• p-quic / ubpf
  Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)
  ☆13Updated 5 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 7 months ago
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• tidwall / xxh64.h
  xxhash-64 in 20 lines
  ☆23Updated 10 months ago
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆31Updated 2 years ago
• MPACT-ORG / llvm-project
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆31Updated last month
• virtualsquare / libvdeslirp
  libslirp for Linux made easy peasy
  ☆28Updated 6 months ago
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆45Updated last year
• paschalis-mpeis / android-llvm
  Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).
  ☆23Updated 2 years ago
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆61Updated 4 years ago
• nadavrot / bistra
  Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…
  ☆6Updated last year
• intel / intel-sdsi
  ☆48Updated 6 months ago
• eddelbuettel / dieharder
  ☆16Updated last year
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆34Updated 10 months ago
• atrosinenko / memtest86-plus-riscv
  Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
  ☆15Updated 5 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated last week
• dougallj / asil
  ☆29Updated 11 months ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 8 months ago