Alternatives and similar repositories for seL4-CAmkES-L4v-dockerfiles

Users that are interested in seL4-CAmkES-L4v-dockerfiles are comparing it to the libraries listed below

• rust-formal-methods / wg
  ☆22Updated 3 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 4 years ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• minirust / specr
  ☆11Updated 2 weeks ago
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated last week
• spacejam / model
  model testing sugar for testing interactions on structures over time
  ☆27Updated 5 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆33Updated 3 weeks ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆80Updated this week
• hermits-grove / mona
  a password manager for hermits
  ☆30Updated 6 years ago
• mohrezaei / thincollections
  Alternate implementations of vector/map/set for Rust
  ☆15Updated 2 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 9 years ago
• aakoshh / async-stm-rs
  Asynchronous Software Transactional Memory library for Rust
  ☆26Updated last year
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• gifnksm / union-find-rs
  Struct and methods for union-find operation.
  ☆19Updated 3 weeks ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• kandersen / dpc
  Distributed Protocol Combinators
  ☆13Updated 4 years ago
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 2 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• canndrew / net-literals
  IP/socket address literals for Rust
  ☆11Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• lukel97 / lsp-test
  A functional test framework for LSP servers
  ☆35Updated 4 years ago
• crev-dev / recursive-digest
  A recursive file-system digest (hash)
  ☆13Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• nikhilm / ninja-rs
  An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.
  ☆57Updated 4 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 4 months ago
• SabrinaJewson / pinned-aliasable.rs
  `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust
  ☆13Updated 2 years ago
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆52Updated 7 years ago