pylog: an implementation of Prolog features in Python
☆36Dec 21, 2024Updated last year
Alternatives and similar repositories for pylog
Users that are interested in pylog are comparing it to the libraries listed below
Sorting:
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 8 years ago
- py4web tutorial site☆13Dec 14, 2020Updated 5 years ago
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆253Nov 25, 2023Updated 2 years ago
- docsQL - Getting an overview over your Markdown file in your Jamstack site☆27Jun 1, 2025Updated 9 months ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆543Feb 15, 2026Updated 2 weeks ago
- A Python framework for interacting with in-browser DOM via websockets☆11Mar 28, 2018Updated 7 years ago
- A research notes about how to get benefits from Cython to be asynchronous beyond IO tasks☆11Feb 17, 2020Updated 6 years ago
- AWS CloudWatch client library to send metrics conveniently and efficiently☆12Feb 10, 2023Updated 3 years ago
- Demo Login Created with HTMX and Bun☆12Dec 14, 2023Updated 2 years ago
- ☆11Updated this week
- Creates Random Coding Sequences with specified GC content and Amino Acid usage☆10Jun 21, 2022Updated 3 years ago
- A minimalistic deployment software focused on simplicity and clarity.☆11Feb 12, 2022Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆97Nov 20, 2023Updated 2 years ago
- 豆备 (Doubak) - 豆瓣 (Douban.com) 命令 行版备份工具，备份完整页面镜像，Golang实现。☆10Aug 11, 2024Updated last year
- Express middleware for Turbolinks 5 support☆11Dec 30, 2022Updated 3 years ago
- G-EDM is a wire and sinker EDM machine for the DIY community with focus on a mostly 3d printed concept☆22Nov 9, 2025Updated 3 months ago
- A user-friendly, opinionated parser generator for Rust☆10Jul 22, 2025Updated 7 months ago
- etcpak with PKM output format and improved command line. Source: https://bitbucket.org/wolfpld/etcpak/wiki/Home☆10Mar 4, 2019Updated 7 years ago
- Hardware emulation layer for the GRiSP runtime☆15Apr 16, 2025Updated 10 months ago
- The 10 millionth JavaScript Scheme interpreter.☆15Feb 14, 2020Updated 6 years ago
- Experiments on quadratic and cubic Bézier curves☆12Jun 30, 2015Updated 10 years ago
- devenv is a utility to define a workspace containing multiple git repositories and the ability to apply operations on all of them at once☆13Jun 9, 2022Updated 3 years ago
- Pydra : a visual synthesizer written in Python☆11Dec 4, 2020Updated 5 years ago
- Dinker, dinky Docker images☆12Jun 2, 2024Updated last year
- A playground for building mesmerizing particle emitters.☆13Aug 6, 2023Updated 2 years ago
- DSA Dart Broker☆10Oct 22, 2020Updated 5 years ago
- Structural version control powered by gotreesitter — entity-level merge, diff, and commit indexing for Git☆39Updated this week
- Implementation (in progress) of Dieng et al.'s TopicRNN intended to be used as a baseline and starting point.☆10Jun 26, 2018Updated 7 years ago
- https://www.youtube.com/watch?v=qsjGj_L1kyo☆10Jul 29, 2021Updated 4 years ago
- ACK service controller for Amazon Managed Service for Prometheus☆10Jan 7, 2026Updated last month
- Go 语言学习之路：笔记、译文、思维导图等☆10May 9, 2024Updated last year
- A rust operating system for the ARM V7-A running on a beaglebone black☆12Mar 11, 2021Updated 4 years ago
- Utility commands for Maestro operating system☆14Oct 30, 2025Updated 4 months ago
- standard form private license for developers☆12May 16, 2021Updated 4 years ago
- Provision a Rancher server and Kubernetes environment on AWS without any manual work needed. The Kubernetes environment is created with 2…☆10May 1, 2017Updated 8 years ago
- 一个用于备份百度贴吧帖子的python脚本☆13May 7, 2020Updated 5 years ago
- ASCII Tree Manipulator☆18Aug 18, 2025Updated 6 months ago