johannesloetzsch / reasonablepyView external linksLinks
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:
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 4 years ago
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆14Aug 18, 2023Updated 2 years ago
- Simple public key distribution for your infrastructure.☆16Nov 21, 2025Updated 2 months ago
- Copies of prolog solvers for use from python☆19Jul 8, 2024Updated last year
- 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
- Strata Silicon Valley 2015 Tutorial☆24Feb 18, 2015Updated 10 years ago
- Oleg Kiselyov's zipper-based file-server/OS☆27Apr 9, 2020Updated 5 years ago
- ☆23Jun 25, 2025Updated 7 months ago
- A microframework for Neo4J inspired by SQLAlchemy☆30Dec 26, 2022Updated 3 years ago
- A SapientML plugin of SapientMLGenerator☆11Dec 23, 2025Updated last month
- 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
- ☆11Jul 7, 2020Updated 5 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated last year
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Mar 26, 2025Updated 10 months ago
- automatic persistence for Python objects☆47Dec 8, 2025Updated 2 months ago
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated last year
- Your source for creating beautiful, consistent experiences across NICE☆17Feb 5, 2026Updated last week
- Sync-DRAW: Automatic Video Generation using Deep Recurrent Attentive Architectures☆12Oct 21, 2017Updated 8 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Ruby API for Freebase.com☆37Jun 18, 2008Updated 17 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- XML/XSLT processing in the browser, supported by a Typescript library☆10Feb 18, 2025Updated 11 months ago
- A customizeable React feedback form with optional screenshot via screen capture and canvas editor based on material-ui.☆12Jan 22, 2026Updated 3 weeks ago
- jQuery crossword plugin☆10Oct 2, 2015Updated 10 years ago
- Execute external programs or internal code blocks as separate process☆12Apr 8, 2025Updated 10 months ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- A grunt.js task to render Handlebars templates against a context & produce HTML☆14Mar 10, 2018Updated 7 years ago
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated 2 weeks ago
- An XQuery 3.0 library for defining algebraic data types, and performing structural pattern matching on them.☆17Jun 30, 2012Updated 13 years ago
- Python wrapper of a Rust CEL implementation☆29Updated this week
- ☆10Jan 23, 2018Updated 8 years ago
- CLI to control Pioneer CDJ devices☆11Mar 22, 2025Updated 10 months ago
- TWRP Source for OnePlus 6T Fajita☆10Nov 1, 2019Updated 6 years ago
- Writing SQL can be easier - pine makes it happen!☆12Feb 5, 2026Updated last week