rui314 / psabi

Related projects ⓘ

Alternatives and complementary repositories for psabi

• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆66Updated this week
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆51Updated 9 months ago
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆10Updated 2 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆110Updated last month
• lenary / abis
  Big List of ABI Resources
  ☆36Updated 4 months ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆125Updated 4 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆202Updated 4 years ago
• nanvix / kernel
  Research Operating System Kernel
  ☆61Updated last week
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 3 weeks ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆26Updated 11 years ago
• torokernel / qprofiler
  This repo contains the code of qprofiler which is a tool to profile a guest running on qemu without the need of instrumentation
  ☆30Updated 2 years ago
• tendra / tendra
  The TenDRA Project
  ☆237Updated 2 months ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆40Updated this week
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆48Updated last week
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆117Updated 4 years ago
• notfoundry / ppstep
  Interactive C/C++ preprocessor macro debugger
  ☆152Updated 3 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• managarm / bootstrap-managarm
  Patches and build scripts to build a managarm distribution
  ☆36Updated this week
• managarm / xbstrap
  Build system for OS distributions
  ☆63Updated this week
• protopopov1122 / kefir
  C17 compiler implementation from scratch
  ☆64Updated last year
• seL4 / util_libs
  ☆55Updated 4 months ago
• dzaima / intrinsics-viewer
  x86-64, ARM, and RVV intrinsics viewer
  ☆32Updated 2 weeks ago
• xfgusta / cexpl
  Command-line tool to interact with Compiler Explorer
  ☆31Updated last year
• fuhsnn / slimcc
  C11 compiler with GNU extensions for x86-64 Linux, working towards C23
  ☆43Updated this week
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆158Updated 2 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆52Updated 10 months ago
• freeCompilerCamp / freecompilercamp.github.io
  The website for freeCompilerCamp's classroom tutorials, using Github Pages.
  ☆32Updated 2 years ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆65Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆109Updated last month