Alternatives and similar repositories for lasagne-proofs

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

• lmcad-unicamp / riscv-sbt
  RISC-V Static Binary Translator
  ☆17Updated 6 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated last month
• herumi / xbyak_riscv
  ☆46Updated last month
• paschalis-mpeis / android-llvm
  Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).
  ☆23Updated 2 years ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 4 months ago
• atrosinenko / memtest86-plus-riscv
  Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
  ☆16Updated 5 years ago
• unikraft / lib-musl
  musl: A C standard library
  ☆12Updated 2 weeks 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 2 months ago
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆30Updated 2 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆37Updated this week
• dougallj / asil
  ☆30Updated last year
• intel / metrics-library
  ☆18Updated 2 months 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 2 weeks ago
• redstar / llvm-m88k
  LLVM backend for m88k architecture
  ☆50Updated 3 months ago
• virtualsquare / libvdeslirp
  libslirp for Linux made easy peasy
  ☆29Updated 7 months 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
• Matthewacon / cx
  A header-only, stl/libc-independent, C++20 concepts, template meta-function and runtime utility library.
  ☆10Updated 2 years ago
• intel / intel-sdsi
  ☆48Updated 6 months ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 11 months ago
• 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
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆61Updated 4 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated 3 weeks ago
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆34Updated 2 weeks 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
• schorrm / arm2riscv
  Arm AArch64 to RISC-V Transpiler
  ☆33Updated 4 years ago
• capstone-engine / llvm-capstone
  llvm with tablegen backend for capstone disassembler
  ☆48Updated this week
• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 4 years ago
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• usbarmory / GoTEE-example
  GoTEE - example application
  ☆16Updated 2 months ago