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
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• loopholelabs / latensee
  A Valkey/Redis latency visualization tool
  ☆11Updated last week
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 11 months ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 8 months ago
• mrsuh / sqlite-index
  ☆11Updated 7 months ago
• burntcarrot / samosa
  Samosa helps developers prioritize what needs to be tested.
  ☆12Updated 2 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• metacall / distributable-linux
  Linux redistributable for shipping MetaCall Core.
  ☆12Updated 3 weeks ago
• FauxFaux / quad-image
  A minimal Rust image paste service
  ☆16Updated 3 weeks ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 5 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 6 months ago
• burntcarrot / wasmninja
  Micro serverless platform. Powered by WebAssembly.
  ☆34Updated 2 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 11 months ago
• RyanBrewer317 / Saber
  ☆11Updated last year
• Airsequel / AirGQL
  Automatically generate a GraphQL API for any SQLite database
  ☆21Updated last month
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• fabjan / outil
  A library for writing command line tools.
  ☆10Updated last year
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 7 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 10 months ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆16Updated this week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 4 months ago
• anacrolix / squirrel
  Go sqlite3 cache
  ☆20Updated last year
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated 2 years ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• adam-ard / organic-markdown
  A Literate Programming System Utilizing Markdown
  ☆16Updated 2 weeks ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago