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
  ☆18Updated 6 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated 2 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.
  ☆33Updated 2 years ago
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆36Updated 2 months ago
• popovicu / linux-no-mmu-userspace-example
  ☆41Updated last year
• nadavrot / bistra
  Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…
  ☆9Updated last year
• 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 weeks ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆61Updated 4 years ago
• tarasglek / bpftrace_pagefaults
  Example of how to trace mmap page faults in linux
  ☆20Updated 3 years ago
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆45Updated last year
• p-quic / ubpf
  Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)
  ☆13Updated 5 years ago
• herumi / xbyak_riscv
  ☆46Updated 2 months ago
• virtualsquare / libvdeslirp
  libslirp for Linux made easy peasy
  ☆29Updated 8 months ago
• intel / intel-sdsi
  ☆48Updated 8 months ago
• schorrm / arm2riscv
  Arm AArch64 to RISC-V Transpiler
  ☆34Updated 5 years ago
• roolebo / elfutils
  elfutils is a collection of utilities and libraries to read, create and modify ELF binary files, find and handle DWARF debug data, symbol…
  ☆34Updated 5 years ago
• ARMmbed / dlmalloc
  Doug Lea's malloc
  ☆36Updated 9 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 6 months ago
• kushaldas / elfutils
  My elfutils fork
  ☆25Updated 12 years ago
• michaeljclark / riscv-meta
  RISC-V Instruction Set Metadata
  ☆41Updated 6 years ago
• echtzeit-dev / ez-clang
  C++ REPL for bare-metal embedded devices
  ☆25Updated 2 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years ago
• paschalis-mpeis / android-llvm
  Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).
  ☆24Updated 2 years ago
• intel / cNVMe
  An NVMe Device Simulation Library.
  ☆50Updated 2 years ago
• chyyuu / zCore
  Reimplement Zircon microkernel in Rust.
  ☆12Updated 3 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated last month
• goffioul / ax86-nb-qemu-guest
  ☆15Updated 5 years ago
• virtualsquare / picotcp
  ☆72Updated 4 months ago