Alternatives and similar repositories for socklab:

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

• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆16Updated last year
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• blitz / kernel-dev
  Instant Linux kernel development environments via Nix devShells
  ☆19Updated last month
• andreoss / kernel-overlay
  linux kernel overlay
  ☆12Updated this week
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• Badel2 / rustc-hex-viewer
  Use the Rust compiler as a hex viewer
  ☆17Updated 2 years ago
• pleshevskiy / estring
  A simple way to parse a string using type annotations
  ☆13Updated 2 years ago
• bennetyee / TekGraphics
  Sample data for Tektronix graphics terminals and code for use with xterm
  ☆10Updated 5 years ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆16Updated this week
• asaaki / capture-the-ip
  Claim as many IPs as you can and become a block owner
  ☆25Updated 8 months ago
• Snektron / Makefuck
  Don't ask me how this works
  ☆12Updated 4 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆31Updated 2 weeks ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• LinuxLab-ESGI / Secure-GRUB-2
  Tutorial to secure GRUB 2 with a password.
  ☆17Updated 2 years ago
• sunfishcode / hello-world-vs-io-errors
  A repository about "Hello, World" programs and I/O errors
  ☆72Updated 11 months ago
• javierhonduco / sweeper
  🧹🧹🧹 File expiration for any filesystem
  ☆46Updated last year
• iximeow / yaxpeax-eval
  batch eval tool for machine code. eval() but for asm.
  ☆12Updated 2 years ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆23Updated 3 weeks ago
• vin01 / bogus-cves
  Got a bogus CVE someone got for a non-vuln? Please share here!
  ☆23Updated 6 months ago
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆23Updated 2 years ago
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 3 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆31Updated last week
• Pebaz / spore
  UEFI Bytecode Disassembler
  ☆60Updated 2 months ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆36Updated 8 months ago
• FHMS-ITS / Xim
  Vim-like hex editor.
  ☆14Updated 2 years ago
• Absolucy / encrypted-ref
  Encrypting references in Rust for stupid reasons.
  Updated 2 years ago
• azonenberg / latentred
  Open hardware 48x 1000baseT + 2x 25G SFP28 Ethernet switch
  ☆14Updated last week
• unicode-rs / unicode-security
  Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.
  ☆14Updated 4 months ago
• moshell-lang / moshell
  A typed shell script language, with modern syntax implemented in Rust™
  ☆26Updated last week