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
  ☆25Updated 2 years ago
• Snektron / Makefuck
  Don't ask me how this works
  ☆12Updated 4 years ago
• andreoss / kernel-overlay
  linux kernel overlay
  ☆12Updated this week
• kpcyrd / what-the-src
  Source code of https://whatsrc.org/
  ☆39Updated last month
• queer / peckish
  peckish (case-sensitive) is a CLI tool/Rust library for (re)packaging Linux software artifacts.
  ☆48Updated 7 months ago
• tiagodusilva / coral
  Ms Thesis @ FEUP
  ☆36Updated 10 months ago
• vin01 / bogus-cves
  Got a bogus CVE someone got for a non-vuln? Please share here!
  ☆24Updated 10 months ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆38Updated last year
• kevinboone / syslogd-lite
  A minimal, resource-friendly syslog daemon for embedded Linux
  ☆26Updated 2 years ago
• kspalaiologos / floppy-linux
  Slides + image for the 19. Sesja Linuksowa talk: "Can we boot Linux from just a floppy?"
  ☆16Updated 2 months ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• RGBCube / crash
  User-configurable login shell configured by the SHELLS environment variable.
  ☆22Updated last month
• haileys / win32-helloworld
  ☆17Updated 2 years ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆23Updated 2 months ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆17Updated last year
• javierhonduco / sweeper
  🧹🧹🧹 File expiration for any filesystem
  ☆46Updated 2 years ago
• kspalaiologos / tau
  a reasonably fast syntax highlighter
  ☆13Updated 4 years ago
• kspalaiologos / tinyz80
  A minimal Z80 implementation.
  ☆22Updated 3 years ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆23Updated 5 months ago
• Whonix / kloak
  ☆41Updated 4 months ago
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆45Updated 3 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• bennetyee / TekGraphics
  Sample data for Tektronix graphics terminals and code for use with xterm
  ☆10Updated 6 years ago
• thamugadi / mltt-c
  Martin-Löf type theory + W-types implemented in C (WIP)
  ☆18Updated last month
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆28Updated 4 years ago
• just-buildsystem / bootstrappable-toolchain
  Collection of toolchains built from source
  ☆17Updated 2 months ago
• mark-sed / ebe
  Edit by Example - automated file editing just from given examples.
  ☆16Updated 3 years ago
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆33Updated last month
• nixcon / nixcon-video-infra
  ☆16Updated 4 years ago