Alternatives and similar repositories for somod

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

• cachix / gptcomment
  ☆16Updated last year
• burntcarrot / samosa
  Samosa helps developers prioritize what needs to be tested.
  ☆12Updated 2 years ago
• WebAssembly / constant-time
  Constant-time WebAssembly
  ☆20Updated 3 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• refraction-networking / water-rs
  WebAssembly Transport Executables Runtime -- A more "Pluggable" Transport
  ☆19Updated 10 months ago
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆33Updated 2 weeks ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• eagledot / malhar
  Fast, Minimal and generic Fuzzy Search Index
  ☆13Updated 7 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆34Updated last month
• benhoyt / io-performance
  Code repo for https://benhoyt.com/writings/io-is-no-longer-the-bottleneck/
  ☆14Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• alt-romes / reference-counting
  Reference counting with linear types
  ☆32Updated 2 months ago
• Jigsaw-Code / choir
  Go library for privacy-preserving error reporting using DNS
  ☆34Updated 5 years ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated last year
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated 3 weeks ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 3 years ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆52Updated 2 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆47Updated this week
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆34Updated last year
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated this week
• ostreedev / gvariant-rs
  A pure-rust implementation of the GVariant serialisation format
  ☆13Updated 7 months ago
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆22Updated last year
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆56Updated last week
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆65Updated 6 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 4 years ago