Alternatives and similar repositories for godel

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

• oasis-tcs / legalruleml
  OASIS LegalRuleML TC: GitHub repository for developing and distributing good examples in order to share knowledge about the correct appli…
  ☆33Updated 4 years ago
• puppygraph / puppygraph-query
  PuppyGraph standalone web server for visualize graph queries.
  ☆30Updated 4 months ago
• spruceid / treeldr
  ☆28Updated 4 months ago
• streamingfast / dstore
  Blob stores abstractions. Supports AWS S3, Google Storage, Azure Blob File Storage, and local FS
  ☆12Updated 2 weeks ago
• Modulus-Labs / Papers
  Repository of papers released by Modulus Labs
  ☆12Updated last year
• neo4j-devtools / nvl-boilerplates
  Template projects to get started with the Neo4j Visualization Library (NVL)
  ☆18Updated 3 months ago
• bacalhau-project / amplify
  Bacalhau Amplify: automatic enrichment, enhancement, and explanation of your data
  ☆12Updated last year
• OR13 / didme.me
  Post Quantum Decentralized Identifiers & Steganography
  ☆15Updated 2 years ago
• sshh12 / llm_oracle
  LLM Oracle is a GPT-4 powered tool for predicting future events. It's like a Magic 8 Ball that is able to perform basic research, calcula…
  ☆17Updated 2 years ago
• kamu-data / kamu-node
  Back-end implementation of the Open Data Fabric protocol
  ☆18Updated last week
• DerwenAI / pynock
  A proposed standard `NOCK` for a Parquet format that supports efficient distributed serialization of multiple kinds of graph technologies
  ☆19Updated 2 years ago
• ChainAgnostic / varsig
  The cryptographic signature multifomat
  ☆13Updated last month
• Actyx / ipfs-sqlite-block-store
  SQLite based ipfs block store
  ☆49Updated 2 years ago
• aeturrell / smartrappy
  Smart reproducible analytical pipeline inspection
  ☆17Updated 2 months ago
• RingsNetwork / rings-wasm-p2p
  This example shows how rings network works in wasm and browser envirement.
  ☆14Updated last year
• mabbamOG / zktls
  Repository for development of the TLS 1.2 and TLS 1.3 stacks in Noir, to produce ZKPs that can be published to the blockchain
  ☆18Updated last year
• pokt-network / governance
  ☆10Updated last year
• hyperspaceai / HyperspaceZK
  👾 DX-focused decentralized zero-knowledge framework 🛸
  ☆40Updated last year
• FalkorDB / falkordb-browser
  FalkorDB-Browser is a visualization UI for FalkorDB.
  ☆35Updated this week
• fission-codes / spec
  ☆11Updated last year
• liamca / sqlite-hybrid-search
  Hybrid Search (BM25 & Vector) with SQLite
  ☆18Updated 10 months ago
• typedb / typedb-driver-nodejs
  TypeDB Driver for Node.js
  ☆32Updated last year
• quackscience / duckdb-googlesheets-engine
  DuckDB Engine as Google Sheets Library
  ☆17Updated 6 months ago
• ceramicnetwork / rust-ceramic
  Implementation of the Ceramic protocol in Rust
  ☆40Updated last week
• PrimeIntellect-ai / prime-cli
  The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers
  ☆29Updated last month
• aleph-im / aleph-vm
  Aleph.im VM execution engine
  ☆51Updated this week
• simtopia / verbs
  Rust and Python Ethereum Agent Based Modelling Library
  ☆25Updated last year
• jbarrasa / connections-lifesci
  Neo4j Connections: Life Sciences demos
  ☆18Updated 3 years ago
• simonw / datasette-faiss
  Maintain a FAISS index for specified Datasette tables
  ☆36Updated last year
• commercionetwork / commercionetwork
  Source of Commercio.network, the documents blockchain
  ☆28Updated 6 months ago