Alternatives and similar repositories for somod

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

• benhoyt / io-performance
  Code repo for https://benhoyt.com/writings/io-is-no-longer-the-bottleneck/
  ☆14Updated 2 years ago
• burntcarrot / samosa
  Samosa helps developers prioritize what needs to be tested.
  ☆12Updated 2 years ago
• cachix / gptcomment
  ☆16Updated last year
• katzenpost / katzen
  Traffic analysis resistant messaging with Gio based user interface
  ☆17Updated 2 months ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated last month
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆34Updated last month
• ponylang / crypto
  Library of common cryptographic algorithms and functions for Pony
  ☆12Updated 2 months ago
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆72Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 2 weeks ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago
• darklang / classic-dark
  Darklang stable version - currently on darklang.com/classic
  ☆64Updated last month
• arthuraa / cryptis
  ☆11Updated last week
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆27Updated 10 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 3 years ago
• ohcnetwork / awareness
  A multi-language serverless quiz based app created with reason react.
  ☆22Updated 2 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆21Updated last year
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆17Updated 2 years ago
• fishinabarrel / fishinabarrel.github.io
  Security research organization dedicated to finding low hanging, critical, vulnerabilities.
  ☆16Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 11 months ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆29Updated last year
• turbot / steampipe-plugin-hackernews
  Use SQL to instantly query stories, users and other items from Hacker News. Open source CLI. No DB required.
  ☆17Updated last month
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• avsm / melange
  Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)
  ☆57Updated 9 years ago
• warptools / warpforge
  a build tool -- based on "hashes go in, hashes come out" and hermetic, containerized environments for every step.
  ☆45Updated last year
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 10 months ago