Alternatives and similar repositories for montesheet

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

• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆80Updated 3 weeks ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• ElAlev / Wayeb
  Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
  ☆149Updated 2 years ago
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated last year
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated last year
• The-Singularity-Labs / duckstream
  Streaming replication for DuckDB.
  ☆20Updated 2 years ago
• formancehq / numscript
  Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…
  ☆96Updated last week
• alt-text-org / image-algo-testing
  Testing various image matching algorithms' performance on the Pinecone vector DB
  ☆43Updated 2 years ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆76Updated 7 months ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆28Updated last year
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆32Updated 2 years ago
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆91Updated last year
• seanwevans / fluid-sims
  A collection of fluid simulations
  ☆59Updated 3 months ago
• Mcmartelle / deml
  The Directed Acyclic Graph Elevation Markup Language
  ☆81Updated 9 months ago
• pranjanpr / Quant-MELO-Portfolio
  A Bayesian based architecture to evaluate the optimal weights of different stocks in a portfolio according to Global Minimum Variance and…
  ☆25Updated 3 years ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• mathgladiator / adama-lang
  A headless spreadsheet document container service.
  ☆104Updated 11 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• gritzko / citrea-model
  A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)
  ☆69Updated 4 years ago
• splitgraph / seafowl-gcsfuse
  Scale to zero Seafowl hosting with Cloud Run
  ☆37Updated 2 years ago
• BenJoyenConseil / rmi
  A learned index structure
  ☆53Updated 5 years ago
• turbot / steampipe-sqlite
  Steampipe SQLite is a zero-ETL engine for SQLite. Virtual tables translate queries into live API calls for cloud services and APIs. Hundr…
  ☆58Updated 5 months ago
• GavinMendelGleason / excel_as_code
  Blog on excel as code
  ☆118Updated 4 years ago
• Dicklesworthstone / grassmann_article
  ☆53Updated last year
• hypirion / time-travelling-todo-lists-in-postgres
  An implementation of system-versioned tables in Postgres using only triggers, with a time travelling todo app as a showcase.
  ☆36Updated last year
• mxmlnkn / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆64Updated 2 years ago
• noman-land / transcript.fish
  Unofficial No Such Thing As A Fish episode transcripts.
  ☆22Updated last month
• asg017 / sqlite-jiff
  ☆107Updated 8 months ago