kakwa / pylogicView external linksLinks
Python Module for Logical Validation (forked from Rob Truxler library)
☆26Jul 28, 2020Updated 5 years ago
Alternatives and similar repositories for pylogic
Users that are interested in pylogic are comparing it to the libraries listed below
Sorting:
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Calculates correlation coefficient between all symbols in MetaTrader5 Market Watch☆13Jun 4, 2021Updated 4 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- Python implementation of Measurement Computing's DAQFlex command framework☆15Dec 12, 2014Updated 11 years ago
- A toy project for extracting the amounts from a paper receipt☆13Apr 29, 2013Updated 12 years ago
- Mustache template integration with Flask☆28Sep 10, 2013Updated 12 years ago
- apcmini control ma3 osc midi☆13Feb 19, 2025Updated 11 months ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 2 years ago
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 2 years ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- 1D and 2D histogram objects☆11May 18, 2024Updated last year
- Python observability & instrumentation primitives for metrics and benchmarking☆12May 12, 2018Updated 7 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- DRNN with LSTM for monaural source separation☆11Mar 19, 2018Updated 7 years ago
- Code for manipulating flashmap (fmap) data structure used in ChromiumOS☆10Dec 11, 2019Updated 6 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Ox is a simple compiler of compilers based on PLY☆13Sep 4, 2019Updated 6 years ago
- ☆10Jun 11, 2019Updated 6 years ago
- A simple cli based pomodoro system☆10Mar 21, 2017Updated 8 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- The PyPrepar3D project aims to provide a high level python api to Lockeed Martin´s Prepar3D SDK. The Docuentation for the C/C++ SDK can b…☆11Dec 3, 2015Updated 10 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Layered distributions using FLAX/JAX☆10Dec 13, 2020Updated 5 years ago
- Current public version☆13Feb 6, 2026Updated last week
- Fast and modular async task library for Google App Engine.☆37Jun 11, 2023Updated 2 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- Plugin for MadGraph5_aMC allowing for output Matrix Elements in a TensorFlow-friendly format☆11Feb 17, 2025Updated 11 months ago
- Computationally Modelling Resisting Strategies in Persuasive Conversations☆12Feb 6, 2022Updated 4 years ago
- Cluster sets of histograms/curves, in particular kinematic distributions in high energy physics.☆12Feb 2, 2026Updated 2 weeks ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 2 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- A blockly frontend for band.js☆14Feb 27, 2017Updated 8 years ago
- Trainer mod for Heroes of Hammerwatch, which can also be extended upon by other mods.☆13Mar 15, 2019Updated 6 years ago
- A sample project created using modern-package-template☆12Jul 11, 2010Updated 15 years ago
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12Nov 29, 2025Updated 2 months ago
- High-speed physical quantities and dimensions in Python☆15Updated this week
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 3 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago