Alternatives and similar repositories for LogicLM

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

• logic-star-ai / insights
  We track and analyze the activity and performance of autonomous code agents in the wild
  ☆47Updated 3 weeks ago
• puppygraph / puppygraph-query
  PuppyGraph standalone web server for visualize graph queries.
  ☆45Updated 10 months ago
• megagonlabs / cypherbench
  CypherBench: Towards Precise Retrieval over Full-scale Modern Knowledge Graphs in the LLM Era
  ☆28Updated 6 months ago
• google-deepmind / multiscope
  Real-time visualisation
  ☆20Updated 2 months ago
• google-research / socialgood
  ☆14Updated 3 weeks ago
• SynaLinks / neuro-symbolic-LLMs-handbook
  A collection of neuro-symbolic systems, papers and videos
  ☆29Updated last year
• google / data-quality-monitor
  Data Quality Monitor (DQM) - Continuously validate your data with easy, customizable rules.
  ☆39Updated last year
• Iceber / wasmcloud-ollama
  ☆19Updated last year
• agiresearch / CoRE
  LLM as Interpreter for Natural Language Programming, Pseudo-code Programming and Flow Programming of AI Agents
  ☆46Updated last year
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated 2 years ago
• dev-formata-io / stof
  Data that carries its own logic.
  ☆58Updated last week
• millix19 / promptmii
  PromptMII: Meta-Learning Instruction Induction for LLMs
  ☆46Updated last month
• markburgess / SSTorytime
  Semantic Spacetime Story graph database library over postgresql (SSTorytime)
  ☆125Updated last week
• SWE-bench / sb-cli
  Run SWE-bench evaluations remotely
  ☆47Updated 4 months ago
• google / prediction_framework
  ☆43Updated 4 years ago
• MurtyShikhar / NNetnav
  Interaction-first method for generating demonstrations for web-agents on any website
  ☆51Updated 8 months ago
• microsoft / rats
  Rats is a collection of tools to help researchers define and run experiments. It is designed to be a modular and extensible framework cur…
  ☆27Updated 2 weeks ago
• fission-codes / spec
  ☆11Updated 2 years ago
• oasis-open-projects / documentation
  Home of resource documentation for OASIS Open Projects.
  ☆34Updated last year
• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆31Updated 3 years ago
• codestoryai / swe_bench_traces
  Contains the model patches and the eval logs from the passing swe-bench-lite run.
  ☆10Updated last year
• Jigsaw-Code / sensemaking-tools
  ☆75Updated last week
• SqueezeAILab / Tool2Vec
  Efficient and Scalable Estimation of Tool Representations in Vector Space
  ☆29Updated last year
• WebAssembly / wasi-sql-embed
  ☆29Updated last month
• google / labs-prototypes
  ☆85Updated last month
• kuzudb / wasm-linkedin-example
  ☆59Updated 8 months ago
• simonw / llm-cluster
  LLM plugin for clustering embeddings
  ☆82Updated last year
• All-Hands-AI / openhands-resolver
  A system that tries to resolve all issues on a github repo with OpenHands.
  ☆117Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆249Updated 2 months ago
• dylibso / chainsocket
  Proof of concept for a generative AI application framework powered by WebAssembly and Extism
  ☆14Updated 2 years ago