Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Python Logic Open Source Projects

Open source projects categorized as Python Logic
Mlsolver ⭐ 19
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
most recent commit 7 years ago
Consistency ⭐ 19
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
most recent commit 3 years ago
Logicmin ⭐ 19
Logic Minimization in Python
most recent commit 8 months ago
Flask Servicelayer ⭐ 19
Base classes to create a Service Layer in Flask.
total releases 4most recent commit 8 years ago
Pmg ⭐ 18
A Python script using the same scraping logic as piptv to create a formatted M3U to be used with plex/kodi/etc!
total releases 16most recent commit 3 years ago
Pio Lgt8fx ⭐ 18
Board Package for Logic Green
most recent commit 5 months ago
Neural Arithmetic Logic Units ⭐ 18
MXNet Implementation of DeepMind's Neural Arithmetic Logic Units (NALU)
most recent commit 6 years ago
Bulldog ⭐ 18
State management framework for Data Science & Analytics
total releases 4most recent commit 5 years ago
Zabbix Screenbuilder ⭐ 18
Easy build screen for Zabbix using the API
most recent commit 7 years ago
Nadia ⭐ 18
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
total releases 10most recent commit 5 months ago
Reasonablepy ⭐ 17
Reasonable Python is a module which adds F-Logic to Python
most recent commit 13 years ago
Liquer ⭐ 17
Query your objects for two cents!
total releases 3most recent commit 7 years ago
Django Action Framework ⭐ 17
Create many types of interfaces from functions
total releases 12most recent commit a year ago
2019_summercamp ⭐ 17
2019 SEU-Xilinx Summer School
most recent commit 5 years ago
Program Gallery ⭐ 17
Program Gallery
most recent commit a year ago
Pylogic ⭐ 16
Python Module for Logical Validation (forked from Rob Truxler library)
most recent commit 10 years ago
Anita ⭐ 16
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
most recent commit 6 months ago
Neuro Bge ⭐ 16
Node-based Blender game engine and logic editor addon for Blender
most recent commit 3 years ago
Quantum Simulator ⭐ 16
Simulation Software for quantum logic gates
most recent commit 8 years ago
Zebra ⭐ 16
Logic grid puzzle ("zebra puzzle") generator and solver
most recent commit 5 months ago
Midi2ly ⭐ 16
MIDI to Lilypond converter
most recent commit 8 years ago
Python Nnf ⭐ 15
Manipulate NNF (Negation Normal Form) logical sentences
dependent packages 3total releases 10most recent commit a year agopypi nnf} Downloads
Pros Cli2 ⭐ 15
Command Line Interface for managing PROS projects
most recent commit 5 years ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
University
Cookbook
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.