Alternatives and similar repositories for socklab

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

• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 2 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated 2 months ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆45Updated 2 weeks ago
• javierhonduco / sweeper
  🧹🧹🧹 File expiration for any filesystem
  ☆46Updated 2 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆29Updated 4 years ago
• shadyfennec / baugelang
  An esoteric programming language, using box-drawing characters
  ☆29Updated 5 months ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆34Updated 5 months ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆87Updated last year
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆58Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• Snektron / Makefuck
  Don't ask me how this works
  ☆12Updated 5 years ago
• 3c1u / maysick
  A Programming language of directories. Just for fun.
  ☆14Updated 2 years ago
• queer / peckish
  peckish (case-sensitive) is a CLI tool/Rust library for (re)packaging Linux software artifacts.
  ☆52Updated 9 months ago
• oriansj / bootstrap-seeds
  The roots of trust for all architectures
  ☆97Updated 8 months ago
• tiagodusilva / coral
  Ms Thesis @ FEUP
  ☆36Updated last year
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• pleshevskiy / estring
  A simple way to parse a string using type annotations
  ☆13Updated 3 years ago
• annacrombie / meson-raytracer
  ☆51Updated 2 years ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆18Updated last month
• iczelia / tinyz80
  A minimal Z80 implementation.
  ☆22Updated 3 years ago
• oriansj / stage0-posix
  A place for public review of the posix port of stage0
  ☆127Updated last month
• FHMS-ITS / Xim
  Vim-like hex editor.
  ☆14Updated 3 years ago
• FROG-TIPS / frog_gopher
  A server for the wonderful world of Gopher.
  ☆13Updated 7 years ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 8 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆110Updated this week
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆32Updated last month
• sunfishcode / hello-world-vs-io-errors
  A repository about "Hello, World" programs and I/O errors
  ☆73Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• queer / atsi
  instant rootless Alpine shells
  ☆59Updated last year
• Badel2 / rustc-hex-viewer
  Use the Rust compiler as a hex viewer
  ☆17Updated 2 years ago