Alternatives and similar repositories for capros:

Users that are interested in capros are comparing it to the libraries listed below

• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆39Updated 2 years ago
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆34Updated last week
• jimix / k42
  K42 Kernel
  ☆26Updated 12 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆61Updated last year
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated last week
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆35Updated 8 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆104Updated this week
• oriansj / M2libc
  A more standards compliant C library written in M2-Planet's C subset
  ☆20Updated last week
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• somian / Path64
  Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…
  ☆23Updated 14 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆45Updated 3 years ago
• c2d7fa / jonasforth
  Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)
  ☆45Updated 4 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆27Updated last week
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 6 years ago
• void4 / KeyKOS
  Source code of the KeyKOS operating system
  ☆15Updated 5 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆51Updated this week
• ibara / O
  Peephole optimizer for cproc and QBE
  ☆25Updated 2 years ago
• stokito / fortress-lang
  ☆54Updated 8 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last week
• ghaerr / blink16
  Tiny visual 8086 emulator based on Blink
  ☆70Updated 9 months ago
• oriansj / M2-Planet
  The PLAtform NEutral Transpiler
  ☆112Updated this week
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆14Updated 6 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆88Updated 4 years ago
• 9front / 9front
  nightly synced mirror
  ☆63Updated this week
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 8 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆52Updated last year
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆30Updated this week
• virtualsquare / vuos
  view based o.s.
  ☆39Updated last month