azreasoners/gpt-asp-rules external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

azreasoners/gpt-asp-rules

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/azreasoners/gpt-asp-rules)

Close

azreasoners / gpt-asp-rulesView on GitHubMore

• External links
• Readme badge

☆11Oct 21, 2023Updated 3 years ago

Alternatives and similar repositories for gpt-asp-rules

Users that are interested in gpt-asp-rules are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• azreasoners / LLM-ASP

  View on GitHub
  ☆32Aug 9, 2025Updated last year
• QiangAI / AI_Engineering

  View on GitHub
  这是中国高科集团实训资料库，包含课件，示例代码以及其他相关资料
  ☆10Jul 7, 2021Updated 5 years ago
• lil-lab / cb2

  View on GitHub
  An NLP research and data collection platform.
  ☆17Jul 4, 2026Updated 3 months ago
• dodaro / cnl2asp

  View on GitHub
  A tool for converting CNL sentences to ASP rules.
  ☆13Nov 6, 2025Updated 11 months ago
• boschresearch / sofc-exp_textmining_resources

  View on GitHub
  Resources related to ACL 2020 paper "The SOFC-Exp Corpus and Neural Approaches to Information Extraction in the Materials Science Domain"
  ☆22Jul 21, 2023Updated 3 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• boschresearch / Pap2Pat

  View on GitHub
  Official Repo for "Pap2Pat: Benchmarking Outline-Guided Long-Text Patent Generation with Patent-Paper Pairs"
  ☆24Aug 22, 2025Updated last year
• cheungdaven / semi-ae-recsys

  View on GitHub
  Implementation of Semi-AE-Rec (ICONIP 2017)
  ☆11Aug 10, 2018Updated 8 years ago
• ross-nordstrom / LogicSolver

  View on GitHub
  Solving Logic Grid Puzzles with Part-of-Speech Tagging and First-Order Logic
  ☆11Dec 18, 2016Updated 9 years ago
• potassco-asp-course / notebooks

  View on GitHub
  This repository collects notebooks for the course
  ☆15Jan 19, 2026Updated 9 months ago
• ProgrammerLMS / mini-git

  View on GitHub
  A mini-git system using Java. / 用Java实现一个简易版Git。/ Implement mini Git system using Java.
  ☆19Nov 11, 2024Updated last year
• jamesfebin / Neuro-Symbolic-AI-Agent-Demo-LLM-Prolog

  View on GitHub
  ☆12Oct 24, 2024Updated last year
• tiantiangao7 / kalm

  View on GitHub
  Knowledge Acquisition Logic Machine
  ☆20Jul 19, 2019Updated 7 years ago
• zhongwanjun / AR-LSAT

  View on GitHub
  Experiment for lsat
  ☆52Jan 20, 2023Updated 3 years ago
• LiuZhen515 / agent_engineering

  View on GitHub
  《智能体工程：从一句话到一个闭环》（Prompt · Context · Harness · Loop），本书将大语言模型驱动的智能体系统拆解为四种递进的工程范式，四种范式从 Token 到 System，从一次调用到完整的自主闭环，构成了智能体系统的完整工程视图。
  ☆28Jun 30, 2026Updated 3 months ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• libp2p / go-utp-transport

  View on GitHub
  An implementation of a libp2p transport using utp
  ☆12Jul 16, 2021Updated 5 years ago
• ptarau / recursors

  View on GitHub
  Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
  ☆47Sep 5, 2025Updated last year
• SWI-Prolog / packages-swipl-win

  View on GitHub
  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  ☆11Sep 9, 2025Updated last year
• LemonHX / lean4-rs

  View on GitHub
  rust binding for lean4
  ☆11Jul 1, 2023Updated 3 years ago
• dair-iitd / symnet

  View on GitHub
  ☆10Jun 28, 2022Updated 4 years ago
• daajoe / GPUSAT

  View on GitHub
  ☆12Sep 29, 2021Updated 5 years ago
• NICTA / iris-reasoner

  View on GitHub
  Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge
  ☆11Mar 18, 2016Updated 10 years ago
• whyrusleeping / ycc

  View on GitHub
  An opinionated coding harness
  ☆21Updated this week
• AviCraimer / relational-calculus-library-lean4

  View on GitHub
  ☆14Mar 23, 2026Updated 6 months ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• DeepSoftwareAnalytics / MultiCodeBench

  View on GitHub
  ☆14Dec 24, 2024Updated last year
• reactome / content-service

  View on GitHub
  The new Reactome REST API to access the data
  ☆11May 22, 2026Updated 4 months ago
• kanojikajino / luigine

  View on GitHub
  Utilities to develop an engine using luigi
  ☆10Oct 8, 2026Updated last week
• SEULinuxClub / DaLaoZiLiao

  View on GitHub
  ☆14Jun 18, 2019Updated 7 years ago
• oOo0oOo / lean-scribe

  View on GitHub
  Render and run context-rich Lean 4 prompts in VS Code.
  ☆11Aug 14, 2025Updated last year
• sontuphan / debug-geth

  View on GitHub
  ☆10Jan 12, 2018Updated 8 years ago
• DavidBuchanan314 / kurl

  View on GitHub
  code-golfed curl-like powered by kernel-mode crypto, with no security
  ☆12Jun 24, 2024Updated 2 years ago
• tiodot / my-chrome-extension

  View on GitHub
  chrome extension v3 made with sveltekit
  ☆10May 18, 2023Updated 3 years ago
• HazyResearch / sampler

  View on GitHub
  DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿
  ☆17Jan 23, 2017Updated 9 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• ArjunSahlot / vidmaker

  View on GitHub
  A python library which simplifies creating and exporting videos.
  ☆11Oct 1, 2023Updated 3 years ago
• LogIntelligence / PreLog

  View on GitHub
  Code for "Pre-training with Contrastive Learning for Unified Log Analytics"
  ☆22Jan 22, 2024Updated 2 years ago
• schauveau / wf-recorder-x

  View on GitHub
  An experiment fork of wf-recorder to learn FFMpeg filters (libavfilter).
  ☆10Jul 12, 2019Updated 7 years ago
• whyrusleeping / ipfs-counter

  View on GitHub
  A tool to scrape the ipfs network for information on the number of peers in the network.
  ☆21Mar 22, 2024Updated 2 years ago
• yashbonde / rasp

  View on GitHub
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆64Nov 1, 2025Updated 11 months ago
• jazware / leadsheet.fm

  View on GitHub
  A guitar chord sharing app built on atproto
  ☆29Updated this week
• SWRMLabs / ants-db

  View on GitHub
  Distributed KV store using go-ds-crdt and libp2p
  ☆13Nov 28, 2021Updated 4 years ago