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
  ☆20Updated 2 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆37Updated 9 months ago
• willhbr / tmux-compiler
  Compile Python or Brainfuck to run in tmux
  ☆13Updated 11 months ago
• kpcyrd / what-the-src
  Source code of https://whatsrc.org/
  ☆34Updated this week
• queer / peckish
  peckish (case-sensitive) is a CLI tool/Rust library for (re)packaging Linux software artifacts.
  ☆46Updated 4 months ago
• bagder / urlgen
  A script that generates URL variations to test URL parsers with
  ☆25Updated 2 years ago
• javierhonduco / sweeper
  🧹🧹🧹 File expiration for any filesystem
  ☆46Updated last year
• jedisct1 / aegis-X
  The AEGIS-128X and AEGIS-256X high performance ciphers.
  ☆34Updated 2 months ago
• Whonix / kloak
  ☆39Updated last month
• haileys / win32-helloworld
  ☆17Updated last year
• Snektron / Makefuck
  Don't ask me how this works
  ☆12Updated 4 years ago
• kspalaiologos / tinyz80
  A minimal Z80 implementation.
  ☆22Updated 3 years ago
• Badel2 / rustc-hex-viewer
  Use the Rust compiler as a hex viewer
  ☆17Updated 2 years ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆16Updated last year
• liberda / HTTP.sh
  Web framework written entirely in Bash | Mirror of https://git.sakamoto.pl/laudom/http.sh
  ☆23Updated this week
• tiagodusilva / coral
  Ms Thesis @ FEUP
  ☆32Updated 7 months ago
• ikskuh / waveform
  Generates nice Unicode rendered waveforms.
  ☆14Updated last year
• endofunky / heart
  A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary
  ☆12Updated 2 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 10 months ago
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆27Updated 2 years ago
• Azer0s / sanic
  sanic - a simple http framework to go fast
  ☆20Updated 2 years ago
• LinuxLab-ESGI / Secure-GRUB-2
  Tutorial to secure GRUB 2 with a password.
  ☆17Updated 2 years ago
• aquefir / neopolitan
  A new city of code on a cosmopolitan foundation.
  ☆20Updated 3 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆33Updated this week
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 3 years ago
• sunfishcode / hello-world-vs-io-errors
  A repository about "Hello, World" programs and I/O errors
  ☆72Updated last year
• nathell / cssfact
  Lossy compression of CSS for fun and loss (or profit)
  ☆34Updated last year