Reasonable Python is a module which adds F-Logic to Python
☆26Jul 5, 2011Updated 14 years ago
Alternatives and similar repositories for reasonablepy
Users that are interested in reasonablepy are comparing it to the libraries listed below
Sorting:
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆14Aug 18, 2023Updated 2 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 5 years ago
- Open source python library for programming and debugging ARM Cortex-M microcontrollers using CMSIS-DAP☆19Aug 6, 2014Updated 11 years ago
- Simple public key distribution for your infrastructure.☆16Nov 21, 2025Updated 3 months ago
- The Android game that combines what best in Flappy Bird and Bluetooth Smart.☆15Sep 24, 2018Updated 7 years ago
- The semantic code generation framework☆30May 31, 2014Updated 11 years ago
- A minimalist sound mixer / instrument emulator written in python☆44Feb 12, 2013Updated 13 years ago
- Themis is a validation and processing library that helps you always make sure your data is correct.☆14Nov 18, 2022Updated 3 years ago
- ☆25Aug 7, 2017Updated 8 years ago
- Rete-based rule engine in Scala☆35Sep 24, 2011Updated 14 years ago
- An implementation of DIP-VAE from the paper "Variational Inference of Disentangled Latent Concepts from Unlabelled Observations" by Kumar…☆26Apr 20, 2018Updated 7 years ago
- Oleg Kiselyov's zipper-based file-server/OS☆27Apr 9, 2020Updated 5 years ago
- ☆24Jun 25, 2025Updated 8 months ago
- Second generation ZMPP Interactive Fiction Interpreter for Java and Android☆38Feb 10, 2017Updated 9 years ago
- A microframework for Neo4J inspired by SQLAlchemy☆30Dec 26, 2022Updated 3 years ago
- Pipes for MarkLogic DataHub is visual programming tool for MarkLogic Data Hub. It integrates with MarkLogic's Datahub and produces custom…☆14Jan 12, 2021Updated 5 years ago
- A SapientML plugin of SapientMLGenerator☆11Dec 23, 2025Updated 2 months ago
- Simple RDF Editor with SHACL support☆32May 27, 2025Updated 9 months ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- ☆11Jul 7, 2020Updated 5 years ago
- This package is essentially a ros-wrapper of neural_cam. More features would be added in the future, geared towards mobile robot platform…☆11Jul 12, 2019Updated 6 years ago
- Address book-like application to manage contact information.☆40Oct 10, 2018Updated 7 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Feb 26, 2026Updated last week
- automatic persistence for Python objects☆47Dec 8, 2025Updated 2 months ago
- Flight sim input/output automation via python scripts☆11Jul 30, 2021Updated 4 years ago
- LSDB to Networkx, rendered with pyGraphViz, dumps YAML☆12Jan 1, 2021Updated 5 years ago
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- An XQuery 3.0 library for defining algebraic data types, and performing structural pattern matching on them.☆17Jun 30, 2012Updated 13 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 7 months ago
- XML/XSLT processing in the browser, supported by a Typescript library☆10Feb 18, 2025Updated last year
- Execute external programs or internal code blocks as separate process☆12Apr 8, 2025Updated 10 months ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 6 months ago
- ☆10Jan 23, 2018Updated 8 years ago
- Ruby API for Freebase.com☆37Jun 18, 2008Updated 17 years ago
- Python wrapper of a Rust CEL implementation☆29Feb 8, 2026Updated 3 weeks ago
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago