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
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 11 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 2 weeks ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• WebAssembly / constant-time
  Constant-time WebAssembly
  ☆20Updated 3 years ago
• burntcarrot / samosa
  Samosa helps developers prioritize what needs to be tested.
  ☆12Updated 2 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last week
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆35Updated this week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆24Updated last year
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆126Updated last month
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 6 years ago
• Xe / pahi
  The next-generation Olin runtime, made with love
  ☆66Updated 3 years ago
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• benhoyt / io-performance
  Code repo for https://benhoyt.com/writings/io-is-no-longer-the-bottleneck/
  ☆14Updated 3 years ago
• s2-streamstore / s2
  Durable Streams API
  ☆86Updated 2 weeks ago
• Jigsaw-Code / choir
  Go library for privacy-preserving error reporting using DNS
  ☆34Updated 5 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆21Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 5 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆33Updated last week