Alternatives and similar repositories for Compiler-Design-Lab-KTU

Users that are interested in Compiler-Design-Lab-KTU are comparing it to the libraries listed below

• openhwgroup / cv32e40x-dv
  CV32E40X Design-Verification environment
  ☆16Updated last year
• necavit / li-sat-solver
  A basic SAT solver implementation for the Logics in Informatics course
  ☆10Updated 10 years ago
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆12Updated 3 months ago
• Fedex100 / awesome-compilers
  ☆16Updated 8 years ago
• CIS1900 / 2022-fall
  ☆12Updated last year
• TUM-DSE / sys-lab
  Computer Systems Lab
  ☆11Updated 2 months ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• Liblor / advanced_operating_systems_2020
  Advanced Operating System Course at ETHZ
  ☆19Updated 4 years ago
• Totsugekitai / tvisor-kmod
  Hypervisor from scratch in linux
  ☆13Updated 3 years ago
• jserv / tic-tac-toe
  An implementation of classical tic-tac-toe game for terminal I/O
  ☆16Updated 3 years ago
• AK-10 / rust_chibicc
  writing c compiler in rust. inspired by https://www.sigbus.info/compilerbook
  ☆13Updated 4 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆15Updated 2 years ago
• bIgBV / xv6-virtio
  A virtio layer for xv6
  ☆11Updated 6 years ago
• synogate / gatery
  Gatery, a library for circuit design.
  ☆22Updated last year
• rcore-os / rcore-user
  User programs for rCore OS
  ☆19Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 4 years ago
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated 2 years ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆17Updated 3 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆48Updated 3 years ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆20Updated last month
• jserv / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆44Updated 5 years ago
• umd-cmsc330 / cmsc330spring22
  ☆27Updated 3 years ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆15Updated 4 years ago
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆16Updated 9 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆21Updated 2 months ago
• tenstorrent / tt-llk
  ☆29Updated this week
• neri / riscv-vga-sample
  A sample of using VGA mode 13h on a QEMU RISC-V virt machine.
  ☆15Updated 5 months ago
• aaupov / ebpf-bolt
  eBPF tool to collect BOLT profile
  ☆14Updated 2 weeks ago
• au-ts / libvmm
  A virtual machine monitor for the seL4 microkernel
  ☆45Updated this week