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 month
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 5 months ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• virtualsquare / libvdeslirp
  libslirp for Linux made easy peasy
  ☆29Updated 8 months ago
• lmcad-unicamp / riscv-sbt
  RISC-V Static Binary Translator
  ☆18Updated 6 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆38Updated this week
• atrosinenko / memtest86-plus-riscv
  Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
  ☆16Updated 5 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
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated last month
• 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 this week
• redstar / llvm-m88k
  LLVM backend for m88k architecture
  ☆50Updated 4 months ago
• mborgerson / jit
  A little just-in-time compiler thing
  ☆18Updated 6 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated 2 weeks ago
• unikraft / lib-musl
  musl: A C standard library
  ☆12Updated last month
• bwickman97 / ffmalloc
  ☆50Updated 3 years ago
• jiegec / apple-pmu
  Dump Apple PMU counter definitions from `/usr/share/kpep` in macOS
  ☆14Updated 2 months ago
• usbarmory / GoTEE-example
  GoTEE - example application
  ☆16Updated 3 months ago
• google-research / automemcpy
  ☆20Updated 3 years ago
• popovicu / linux-no-mmu-userspace-example
  ☆41Updated last year
• jedisct1 / untrinsics
  Header-only portable implementations of common Intel intrisics, including cryptographic instructions.
  ☆13Updated last month
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated last week
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• tarasglek / bpftrace_pagefaults
  Example of how to trace mmap page faults in linux
  ☆20Updated 3 years ago
• Matthewacon / cx
  A header-only, stl/libc-independent, C++20 concepts, template meta-function and runtime utility library.
  ☆10Updated 2 years ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆46Updated 3 weeks ago
• danteu / novdso
  Binary wrapper that disables vDSO for a wrapped application.
  ☆11Updated 2 years ago
• jowinter / dmacu
  Minimal CPU Emulator Powered by the ARM PL080 DMA Controller
  ☆36Updated 10 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
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆45Updated last year
• Lenz-K / arm64-kvm-hello-world
  A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.
  ☆28Updated last year