Alternatives and similar repositories for chiba:

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

• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆35Updated 2 weeks ago
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆25Updated 6 years ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• thoughtpolice / rv32-sail
  32-bit RISC-V Emulator
  ☆23Updated 6 years ago
• cpuguy83 / tarfs
  A fuse-based filesystem for accessing tar files
  ☆17Updated 6 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 3 months ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 4 years ago
• hardenedlinux / zeek2nix
  An operator which calls zeek to nix-ecosystem simply.
  ☆10Updated 2 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 4 years ago
• antifuchs / deptyr
  Run your tty programs pseudo-headlessly under a process supervisor
  ☆13Updated 6 years ago
• lowRISC / manticore
  ☆16Updated 2 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 2 months ago
• XVilka / bvim
  The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…
  ☆30Updated 12 years ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• notgne2 / continix
  Simple NixOS-like Docker containers with declarative config
  ☆22Updated 2 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆15Updated 7 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• NixOS / security
  ☆30Updated 8 years ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆24Updated 10 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 3 months ago
• russross / cownfs
  Copy-on-write NFS server
  ☆15Updated 15 years ago
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated 3 weeks ago
• YoWASP / nextpnr
  Unofficial nextpnr WebAssembly packages
  ☆16Updated last week
• nix-community / cross-toolchains.nix
  Prebuild cross-compiling toolchains for various targets [maintainers=@Mic92]
  ☆10Updated 2 years ago
• hardenedlinux / lego-hardening
  Hardening your OS/Profile is like building with LEGO, incorporating a couple of Grsecurity features and implementing aggressive security …
  ☆18Updated 3 weeks ago
• tomahawkins / verilog
  A Verilog parser for Haskell.
  ☆34Updated 3 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago