Alternatives and similar repositories for chiba:

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

• thoughtpolice / rv32-sail
  32-bit RISC-V Emulator
  ☆24Updated 6 years ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆37Updated last month
• solson / nixrs
  A Nix evaluator written in Rust
  ☆12Updated 5 years ago
• NixOS / snapd-nix-base
  The Nix base snap for distributing Nix-built software via the Snap store.
  ☆13Updated 5 years ago
• nixcloud / nix-beautify
  a tool to indent/format nix based source code and data structures as attrsets and lists
  ☆13Updated 5 years ago
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆23Updated last week
• notgne2 / continix
  Simple NixOS-like Docker containers with declarative config
  ☆22Updated 2 years ago
• CTSRD-CHERI / RVBS
  RISC-V BSV Specification
  ☆20Updated 5 years ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• jmbaur / tinyboot
  A kexec-based bootloader
  ☆22Updated this week
• NixOS / security
  ☆30Updated 8 years ago
• hardenedlinux / zeek2nix
  An operator which calls zeek to nix-ecosystem simply.
  ☆10Updated 2 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 4 months ago
• parallaxsecond / parsec-book
  Parsec documentation
  ☆13Updated 11 months ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• nix-community / label-approved
  a program to label approved PRs in nixpkgs [maintainer=@Artturin,@wegank]
  ☆15Updated last month
• nix-community / nixops-gce
  NixOps Google Cloud Backend
  ☆25Updated last year
• nix-community / cross-toolchains.nix
  Prebuild cross-compiling toolchains for various targets [maintainers=@Mic92]
  ☆10Updated 2 years ago
• ofborg / infrastructure
  ☆15Updated 5 months ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆13Updated this week
• 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…
  ☆31Updated this week
• NixOS / equinix-metal-builders
  iPXE image for Nix builders on Equinix Metal's Spot market.
  ☆50Updated 6 months ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆35Updated last month
• dasJ / emergency-kexec
  Kexec into an in-memory emergency system
  ☆33Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 4 months ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 3 weeks ago
• riscv / riscv-smbios
  RISC-V SMBIOS Type 44 Spec
  ☆12Updated last year