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:
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 2 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- Flight sim input/output automation via python scripts☆11Jul 30, 2021Updated 4 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- apcmini control ma3 osc midi☆13Feb 19, 2025Updated last year
- A simple cli based pomodoro system☆10Mar 21, 2017Updated 8 years ago
- Sample rails app that keeps track of active record changes through to after_commit☆11May 30, 2016Updated 9 years ago
- A text editor for boosting your productivity.☆11Feb 5, 2019Updated 7 years ago
- Ox is a simple compiler of compilers based on PLY☆13Sep 4, 2019Updated 6 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- 1D and 2D histogram objects☆11May 18, 2024Updated last year
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- Quotek is an open source algotrading platform, written in C++.☆11Nov 12, 2020Updated 5 years ago
- DRNN with LSTM for monaural source separation☆11Mar 19, 2018Updated 7 years ago
- Layered distributions using FLAX/JAX☆10Dec 13, 2020Updated 5 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- Python observability & instrumentation primitives for metrics and benchmarking☆12May 12, 2018Updated 7 years ago
- Fast and modular async task library for Google App Engine.☆37Jun 11, 2023Updated 2 years ago
- Plugin for MadGraph5_aMC allowing for output Matrix Elements in a TensorFlow-friendly format☆11Feb 17, 2025Updated last year
- Find files on git history☆12Apr 7, 2020Updated 5 years ago
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- A sample project created using modern-package-template☆12Jul 11, 2010Updated 15 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 2 years ago
- Repository hosting the KLFitter library – the Kinematic Likelihood Fitter.☆10Feb 20, 2024Updated 2 years ago
- PDFflow is parton distribution function interpolation library written in Python and based on the TensorFlow framework.☆11Jan 23, 2024Updated 2 years ago
- Demo Rails application that uses declarative_authorization☆72Sep 6, 2010Updated 15 years ago
- Cluster sets of histograms/curves, in particular kinematic distributions in high energy physics.☆12Mar 2, 2026Updated last week
- A service implementing the Carbon protocol and storing time series data using kairos☆42Mar 11, 2021Updated 4 years ago
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 3 years ago
- Computationally Modelling Resisting Strategies in Persuasive Conversations☆12Feb 6, 2022Updated 4 years ago
- An implementation of pneumonia medical X-ray image classification problem using Federated Learning in PySyft.☆12Jun 16, 2019Updated 6 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 3 years ago
- ☆13Apr 10, 2023Updated 2 years ago
- Delphi-BFT automates large-scale simulations of unmodified BFT protocol implementations through the Phantom simulator given a simple expe…☆17Nov 28, 2025Updated 3 months ago