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
• vin01 / bogus-cves
  Got a bogus CVE someone got for a non-vuln? Please share here!
  ☆24Updated 11 months ago
• blackle / Basilisk-Hunter
  a better hash inverter for many people to use
  ☆20Updated 5 years ago
• kspalaiologos / floppy-linux
  Slides + image for the 19. Sesja Linuksowa talk: "Can we boot Linux from just a floppy?"
  ☆16Updated last week
• queer / peckish
  peckish (case-sensitive) is a CLI tool/Rust library for (re)packaging Linux software artifacts.
  ☆48Updated 8 months ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆34Updated 5 months ago
• sunfishcode / hello-world-vs-io-errors
  A repository about "Hello, World" programs and I/O errors
  ☆73Updated last year
• javierhonduco / sweeper
  🧹🧹🧹 File expiration for any filesystem
  ☆46Updated 2 years ago
• elegaanz / cours-ocaml
  Un cours d'OCaml alternatif à l'UE INF201 de l'UGA
  ☆16Updated last year
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆24Updated 6 months ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• annacrombie / meson-raytracer
  ☆51Updated 2 years ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• tiagodusilva / coral
  Ms Thesis @ FEUP
  ☆36Updated last year
• andreoss / kernel-overlay
  linux kernel overlay
  ☆12Updated this week
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆65Updated 2 years ago
• liclac / pngbomb
  Generate very smol PNGs that are bigger on the inside.
  ☆40Updated 6 years ago
• kpcyrd / what-the-src
  Source code of https://whatsrc.org/
  ☆40Updated 3 months ago
• shadyfennec / baugelang
  An esoteric programming language, using box-drawing characters
  ☆29Updated 4 months ago
• SafeHavenMaps / safehaven
  An open-source solution to create collaborative maps
  ☆16Updated 8 months ago
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆33Updated this week
• KillingSpark / HowLogindWorks
  A collection of info about session management with logind
  ☆34Updated last year
• kspalaiologos / tinyz80
  A minimal Z80 implementation.
  ☆22Updated 3 years ago
• nathell / cssfact
  Lossy compression of CSS for fun and loss (or profit)
  ☆35Updated last year
• portasynthinca3 / boss
  Operating system written in Erlang and Rust
  ☆46Updated last month
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆29Updated 4 years ago
• mjakeman / libweb-gtk
  [PROOF OF CONCEPT] A cross-platform webview for GTK (GTK wrapper for Ladybird's LibWeb engine)
  ☆30Updated 2 years ago
• jedisct1 / aegis-X
  The AEGIS-128X and AEGIS-256X high performance ciphers.
  ☆36Updated 7 months ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆87Updated last year