Reasonable Python is a module which adds F-Logic to Python
☆27Jul 5, 2011Updated 15 years ago
Alternatives and similar repositories for reasonablepy
Users that are interested in reasonablepy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆14Aug 18, 2023Updated 3 years ago
- JavaScript graph visualization library for workflow, BPM, org charts, UML, ER, network diagrams.☆15Oct 24, 2013Updated 13 years ago
- Simple public key distribution for your infrastructure.☆16Nov 21, 2025Updated 11 months ago
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- hackertyper clone written in choo☆11Jun 26, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Docker images for SWI-Prolog☆17Updated this week
- Functional JS mixins for sync and async aspect-oriented advice☆13Sep 2, 2012Updated 14 years ago
- Booze Tools will become the complete programming-language development workbench, all written in Python 3.9 (for now).☆17Dec 29, 2024Updated last year
- ⏰ UCAN based merkle clock implemented as a peer on Cloudflare workers.☆14Apr 23, 2024Updated 2 years ago
- Terry Winograd's SHRDLU from 1972, cf. http://hci.stanford.edu/winograd/shrdlu/☆10Dec 16, 2015Updated 10 years ago
- Open source python library for programming and debugging ARM Cortex-M microcontrollers using CMSIS-DAP☆19Aug 6, 2014Updated 12 years ago
- Web chat room☆17Aug 12, 2017Updated 9 years ago
- This repo is a stand-alone MetaTrader5 Python Connector which connects MT5 account to any broker. It includes numerous functionalities li…☆16Sep 30, 2025Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆10Feb 27, 2024Updated 2 years ago
- Playing with natural language parsing☆13Jul 19, 2015Updated 11 years ago
- jsActor AMS☆14Mar 17, 2021Updated 5 years ago
- Main docs for the project☆14Nov 4, 2022Updated 4 years ago
- HIF: The Hubris/Humility Interchange Format☆11Sep 19, 2023Updated 3 years ago
- Wrapper around Interactive Brokers TWS API☆14Apr 18, 2021Updated 5 years ago
- Email Notifications for your Bank Transactions☆13Dec 2, 2012Updated 13 years ago
- Global domain mind map tool build on top of IPFS and IPLD☆14Nov 15, 2018Updated 7 years ago
- iWallet☆12Apr 4, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A highly expressive programming language and live coding runtime for distributed computation.☆16Apr 29, 2026Updated 6 months ago
- Hiroki Sayama's artificial chemistry model -> http://bingweb.binghamton.edu/~sayama/SwarmChemistry/☆17Jul 25, 2022Updated 4 years ago
- Ray tracer in pure Fortran☆16Apr 6, 2018Updated 8 years ago
- Docker - the open-source application container engine☆21Jul 5, 2017Updated 9 years ago
- Astronomical World Coordinate Systems library for Julia☆17Sep 16, 2026Updated last month
- Like multimethods but multidecorators.☆11Feb 19, 2020Updated 6 years ago
- Gun DB Visualization using Graphin☆16Jan 2, 2020Updated 6 years ago
- Alle unsere Heißgetränke☆19Nov 18, 2022Updated 3 years ago
- An implementation of some of Jacques Lacan's notes on the Purloined Letter in Racket☆11Feb 22, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Another plug-in for using LaTeX in inkscape☆15Oct 16, 2022Updated 4 years ago
- Varv: Reprogrammable Interactive Software as a Declarative Data Structure☆15Oct 23, 2024Updated 2 years ago
- PyTorch Implementation of the paper "Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architec…☆10Sep 18, 2025Updated last year
- ☆10May 7, 2024Updated 2 years ago
- solving kepler equation☆15Aug 13, 2025Updated last year
- CLI tool for launching a new LSP (Long-Short Pair). Relevant docs at Outcome.Finance: https://docs.outcome.finance/ and UMA: https://docs…☆14Oct 19, 2022Updated 4 years ago
- ☆13Dec 20, 2017Updated 8 years ago