Mimicking minikanren logic programming in Python using logpy/kanren library.
☆11Apr 11, 2020Updated 6 years ago
Alternatives and similar repositories for logic-programming-in-python
Users that are interested in logic-programming-in-python are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generate self-signed certificates for mutual TLS authentication + PoC with fastify + curl or flutter as a client☆13Jun 6, 2023Updated 3 years ago
- ☆12Jan 4, 2020Updated 6 years ago
- python library to perform Locality-Sensitive Hashing for faster nearest neighbors search in high dimensional data☆19Aug 15, 2024Updated 2 years ago
- headless chrome as a service for generating PDF, PNG, JPEG and HTML of any web page☆19Jun 3, 2023Updated 3 years ago
- A database app for ring theory☆23Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Macaulay2 web app with support for KaTeX and HTML output☆22Updated this week
- Client side app for Front End Masters Hapi.js Workshop☆13Sep 30, 2020Updated 6 years ago
- Community Projects for the Complete Intro to React v6☆12Jan 6, 2022Updated 4 years ago
- A Collection of Single Use Function Operators☆11Jun 18, 2020Updated 6 years ago
- Publish your Silver Bullet space to the Internet☆12Nov 27, 2025Updated 11 months ago
- Introduction to Applied Process Mining with Python and R notebooks.☆20Dec 12, 2022Updated 3 years ago
- A comprehensive and searchable database of categories and their properties☆38Updated this week
- The feature files demonstrated in the BDD Books: Formulation book☆20Apr 27, 2021Updated 5 years ago
- Alfa Battle 2.0☆28Jan 18, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Aug 4, 2020Updated 6 years ago
- Fawry payment gateway is a powerful payment processor that helps you pay through credit cart & Fawry Machines.☆21Oct 6, 2020Updated 6 years ago
- A template repo for slidev slides with automatic GitHub Pages deployment☆10Oct 20, 2026Updated last week
- Kestra's collection of agent skills☆18Sep 21, 2026Updated last month
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 5 years ago
- Python recipe parsing and manipulation☆10Jan 27, 2017Updated 9 years ago
- Release notes and release schedules for Ubuntu Linux.☆17Updated this week
- The most simplest and super efficient command line tools, distributed in solely one file.☆10Nov 2, 2022Updated 3 years ago
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An seL4 reference webserver application☆11Jul 22, 2026Updated 3 months ago
- CookLang-JS is a TypeScript library for parsing CookLang.☆13Mar 20, 2022Updated 4 years ago
- Deploy Kestra on AWS EC2, with RDS Postgres & S3☆13Updated this week
- Optimization Modeling Using R☆25Oct 11, 2026Updated 2 weeks ago
- Constructing decision trees with genetic algorithm with a scikit-learn inspired API☆24Jul 31, 2021Updated 5 years ago
- Boilerplate to build a flask API with swagger ui documentation☆39Jul 15, 2020Updated 6 years ago
- Tabular data and SQL for people who don't have time to faff about☆18Jul 27, 2022Updated 4 years ago
- ☆24May 7, 2019Updated 7 years ago
- Admin dashboard☆12Jun 7, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Arabic Hugo Template☆28Oct 20, 2026Updated last week
- ☆11May 18, 2015Updated 11 years ago
- GoWSL is a package that wraps around the wslApi.dll for safe and idiomatic use within Go projects.☆20Nov 12, 2025Updated 11 months ago
- ☆14Jun 15, 2026Updated 4 months ago
- Mind Map implemented with Godot☆12Jun 23, 2020Updated 6 years ago
- Resource allocation using optimization algorithms and python. Assigning the right resources with the right skills to specific projects or…☆38Mar 2, 2020Updated 6 years ago
- Demo app of React Server Components.☆13Updated this week