Alternatives and similar repositories for verification-manifest

Users that are interested in verification-manifest are comparing it to the libraries listed below

• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆37Updated last week
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 8 months ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 7 years ago
• dcousens / RayTracer
  A Haskell implementation of Andrew Kensler's business card raytracer.
  ☆18Updated 4 years ago
• riscvarchive / riscv-glibc
  RISC-V port of GNU's libc
  ☆71Updated 4 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆21Updated 6 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• seL4 / refos-manifest
  Reference Operating system based on seL4 --- example code
  ☆22Updated 8 months ago
• GKernelCI / GBuildbot
  Gentoo kernel automated
  ☆21Updated 2 months ago
• camlp4 / camlp4
  Camlp4 tool
  ☆102Updated last month
• HOL-Theorem-Prover / hol-guidebook
  HOL Guidebook
  ☆11Updated last year
• seL4 / sel4test-manifest
  Project to build and test seL4 for many different platforms
  ☆16Updated this week
• pirapira / coq2rust
  Coq to Rust program extraction. The whole tree is on the original Coq code base.
  ☆225Updated 10 years ago
• rust-lang-nursery / taskcluster-crater
  ☆42Updated 8 years ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆21Updated 4 years ago
• xiangzhai / dragonegg
  DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
  ☆20Updated 6 years ago
• vitkyrka / kninja
  Ninja build file generator for the Linux kernel
  ☆56Updated 5 years ago
• seL4 / camkes
  Component Architecture test suite and example apps.
  ☆32Updated 3 months ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated 3 months ago
• danfis / cu
  C Unit Testing Framework
  ☆25Updated 6 years ago
• lowRISC / abicop
  Work towards a "golden model" of the RISC-V calling convention(s)
  ☆10Updated 8 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆87Updated 6 years ago
• llvm-mirror / klee
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆17Updated 8 years ago
• llvm / llvm-zorg
  ☆86Updated last week
• huonw / rust-malloc
  A pure Rust memory allocator
  ☆50Updated 12 years ago
• seL4 / musllibc
  ☆27Updated 3 weeks ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 9 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• seL4 / sel4runtime
  A minimal runtime for seL4 applications.
  ☆14Updated 8 months ago
• abrt / libreport
  Generic library for reporting various problems
  ☆33Updated 3 weeks ago