Topic: "first-order-logic"
acl2/acl2
ACL2 System and Books as Maintained by the Community
Language: Common Lisp - Size: 1.37 GB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 388 - Forks: 108
ccclyu/awesome-deeplogic
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
Size: 69.3 KB - Last synced at: 6 days ago - Pushed at: 9 months ago - Stars: 273 - Forks: 26
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Language: Julia - Size: 202 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 177 - Forks: 11
FLHonker/Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
Size: 2.41 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 127 - Forks: 19
evhub/pyprover
Resolution theorem proving for predicate logic in pure Python.
Language: Python - Size: 344 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 93 - Forks: 10
LAMDASZ-ML/Awesome-LLM-Reasoning-with-NeSy
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
Size: 1.29 MB - Last synced at: about 15 hours ago - Pushed at: about 2 months ago - Stars: 82 - Forks: 4
aig-upf/tarski
Tarski - An AI Planning Modeling Framework
Language: Python - Size: 2.22 MB - Last synced at: 25 days ago - Pushed at: about 1 year ago - Stars: 64 - Forks: 21
MarisaKirisame/first_order_logic_prover
Language: C++ - Size: 338 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 58 - Forks: 9
utahnlp/layer_augmentation
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
Language: Python - Size: 35.8 MB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 42 - Forks: 6
cheuktingli/psitip
Python Symbolic Information Theoretic Inequality Prover
Language: Python - Size: 2.56 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 39 - Forks: 8
utahnlp/consistency
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Language: Python - Size: 12.9 MB - Last synced at: 6 months ago - Pushed at: almost 4 years ago - Stars: 30 - Forks: 3
alanruttenberg/lsw2
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
Language: JavaScript - Size: 179 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 29 - Forks: 1
ai4reason/Prover9
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
Language: C - Size: 1.81 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 8
gilith/metis
An automatic theorem prover for first order logic with equality
Language: Standard ML - Size: 609 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 27 - Forks: 1
knowsys/TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Language: TeX - Size: 2.3 MB - Last synced at: 8 days ago - Pushed at: 10 months ago - Stars: 23 - Forks: 22
ozekik/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
Language: Python - Size: 1.18 MB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 21 - Forks: 3
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Language: Python - Size: 6.22 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 19 - Forks: 2
LHRLAB/NQE
[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
Language: Python - Size: 6.35 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 19 - Forks: 1
smaranjitghose/ParulUniversityAI
Artificial Intelligence Course at Parul University taught in Spring 2023 by Mr Smaranjit Ghose
Language: Jupyter Notebook - Size: 19.9 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 19 - Forks: 6
roberthoenig/FirstOrderLogic.jl
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Language: Julia - Size: 29.3 KB - Last synced at: 22 days ago - Pushed at: over 5 years ago - Stars: 19 - Forks: 6
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Language: Prolog - Size: 563 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2
chanind/amr-logic-converter
Convert Abstract Meaning Representation (AMR) into first-order logic
Language: Python - Size: 95.7 KB - Last synced at: 1 day ago - Pushed at: 9 months ago - Stars: 14 - Forks: 1
chanind/tensor-theorem-prover
First-order logic theorem prover supporting unification with approximate vector similarity
Language: Rust - Size: 3.16 MB - Last synced at: about 4 hours ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 1
yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
Language: Python - Size: 104 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 4
aztek/atp
Haskell interface to automated theorem provers
Language: Haskell - Size: 352 KB - Last synced at: 24 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0
PnVDiscord/PnVRocqLib
A Coq library written by members of PnV Discord Server
Language: Coq - Size: 496 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 8 - Forks: 1
rudi-cilibrasi/vitefolts
vitefolts First Order Logic Typescript theorem prover
Language: TypeScript - Size: 27.3 KB - Last synced at: 6 days ago - Pushed at: 10 months ago - Stars: 8 - Forks: 1
joshuacrotts/logic-learning-assistance-tool 📦
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
Language: Java - Size: 4.58 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1
potassco/anthem-1 📦
🎼 Translate answer set programs to first-order theorem prover language
Language: Rust - Size: 1.37 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 7 - Forks: 5
livrelogique/pravda
Pravda is a tool for teaching formal logic.
Language: TypeScript - Size: 174 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 2
giovanniberti/logicamente
A first-order logic theorem prover with SLD resolution.
Language: Python - Size: 31.3 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0
fabiuslongo/ad-caspar
Python implementation of AD-Caspar (Abductive-Deductive Cognitive Architecture System Planned and Reactive)
Language: Python - Size: 4.15 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 2
Keerthivasan13/CSCI561_Artificial_Intelligence
Programs developed for CSCI561 Foundations of Artificial Intelligence course
Language: Python - Size: 1.54 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 7
sdcondon/SCFirstOrderLogic
Simple first-order logic implementation for .NET.
Language: C# - Size: 5.22 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 5 - Forks: 0
DerYeger/apollo-frontend
A web application for first-order model checking in graph structures.
Language: TypeScript - Size: 24.9 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 5 - Forks: 1
gonzigaran/folpy
First Order Logic Python Library
Language: Python - Size: 9.68 MB - Last synced at: 21 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0
utahnlp/layer_augmentation_qa
Implementation of the machine comprehension model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
Language: Python - Size: 16.7 MB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1
Hsankesara/The-Buendia-Tree
Apply First order logic on extended kinship domain problem.
Language: Python - Size: 67.4 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
marcofavorito/pythogic 📦
A Python package for deal with logical formulas and formal systems (e.g. FOL)
Language: Python - Size: 660 KB - Last synced at: 8 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
maxadamski/illogical 📦
Easy-to-use first order logic tools & Scala library
Language: Scala - Size: 47.9 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 2
mclumd/alma-2.0
Active Logic inference engine for metacognitive agency
Language: C - Size: 15.9 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 4 - Forks: 3
marcluque/YASER
Yet Another Sat solvER
Language: C - Size: 23.9 MB - Last synced at: 3 days ago - Pushed at: 7 days ago - Stars: 4 - Forks: 0
eneoli/alice
A proof checker for constructive logic
Language: Rust - Size: 1.11 MB - Last synced at: 4 days ago - Pushed at: 25 days ago - Stars: 4 - Forks: 0
amka66/mai
mai: MAth Interpreter with Standard Foundations
Language: Prolog - Size: 177 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 4 - Forks: 1
DerYeger/apollo-backend
A web application for first-order model checking in graph structures.
Language: Kotlin - Size: 5.18 MB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 4 - Forks: 1
jgordon/axioms 📦
Commonsense axioms
Language: Common Lisp - Size: 5.05 MB - Last synced at: 4 days ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0
nbice1/First-Order-Logic
This project is aimed at developing a program to evaluate the truth-value of sentences in First-Order Logic and construct proofs.
Language: Python - Size: 225 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
d-dimos/artificial_intelligence_ntua
[ECE NTUA] Artificial Intelligence - Theoretical & Programming Sets (2020-2021)
Language: Jupyter Notebook - Size: 4.97 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 0
jgordon/boxer
C&C parser & Boxer
Language: C - Size: 49.2 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 1
ZikangXiong/diff-spec
Differentiable Symbolic Specification
Language: Python - Size: 51.8 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 1
DerYeger/apollo
A web application for first-order model checking in graph structures.
Size: 38.5 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0
MatthiasNickles/fol2asp
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
Language: Scala - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
lambduli/plover
An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.
Language: Haskell - Size: 2.72 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
PavlicLab/AAAI2022-CLeaR2022-Visual_Relationship_Detection-RWFN
The official implementation of Randomly Weighted Feature Network for Visual Relationship Detection Tasks (CLeaR@AAAI2022)
Language: Python - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
oelin/fol
A semantically accurate implementation of first-order logic in JavaScript 👩🏫.
Language: JavaScript - Size: 43.9 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
mark-koch/firstorder-proof-mode
A first-order logic proof mode in Coq
Language: Coq - Size: 582 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
zeenatali5710/Wumpus
A Python 3.4 implementation of the classic game, Hunt the Wumpus where we tromp around through a cave of 20 rooms trying to hunt down a fictional creature called the Wumpus while avoiding hazards. Implemented using aima3, fol, querying the KB.
Language: Python - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0
jyhong0304/Visual-Relationship-Detection-RWFN
The official implementation of Randomly Weighted Feature Network for Visual Relationship Detection Tasks (CLeaR@AAAI2022)
Language: Python - Size: 23.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
jangjunha/elementary-logic-validator
형식언어 ℒ에서 Gentzen의 추론 규칙에 따른 논증 타당성 검증기
Language: Rust - Size: 118 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
jahnvisikligar/Artificial-Intelligence-Projects
This repository is reflection of the artificial intelligence algorithms work implemented by me under the coursework - ECS759P
Language: Jupyter Notebook - Size: 1.72 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
Akash-Sharma-1/DNF-Generator
A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.
Language: Python - Size: 9.77 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
shadowbourne/first-order-logic-parser
2nd Year: 1st - 97. A full parser for first order logic, producing a parse tree (png) and a grammar containing all production rules and symbols, along with a log file.
Language: Python - Size: 826 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
vgupta123/consistency Fork of utahnlp/consistency
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Language: Python - Size: 12.9 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
dserbano/knowledge_technology_smartnet_1
1st Project of Course 'Knowledge Technology' of the SMARTNET programme. The assignment consists in creating a knowledge-base system with support to reasoning under uncertainty using CLIPS 6.3.
Language: CLIPS - Size: 2.98 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1
celinadongye/Isabelle-exercises
Language: Isabelle - Size: 120 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1
antanvir/Wumpus-World
Language: Java - Size: 798 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
mcifra/sokoban
Simple Sokoban solver using SAT solver Minisat
Language: Python - Size: 2.67 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
Lakshya-Kejriwal/First-Order-Logic-Inference
Language: Java - Size: 29.3 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
EduPH/LPOenH
Lógica de primer orden en Haskell literario
Language: Haskell - Size: 14.7 MB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
spamegg1/tarski
Tarski's world in Doodle
Language: Scala - Size: 41 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
justineuro/syllogisms
Algorithmic Truth Table Method for Proving Validity of Argument Forms
Language: TeX - Size: 2.12 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
ieddeveci/NL_to_FOL_T5FineTuning
This code is developed for training and evaluating a model that translates natural language (NL) sentences into First-Order Logic (FOL) expressions using a T5-based model.
Language: Jupyter Notebook - Size: 55.7 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Language: Scala - Size: 324 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
khang200923/Predicate_Wars
A card game of first-order logic
Language: Python - Size: 365 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 2
toda-lab/pygplib
Pygplib: Python First-Order Graph Property Library
Language: Python - Size: 4.88 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
igreat/tiny-prover
A simple first order logic theorem prover using tableaux
Language: OCaml - Size: 1.13 MB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
Edward-Ji/logiclib
A Python library for first-order logic.
Language: Python - Size: 40 KB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
Hacker-Code-J/Software-Verification
Language: TeX - Size: 6.61 MB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
lambduli/resin
A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.
Language: Haskell - Size: 264 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
philzook58/pyeprover
A simple repackaging of the E automated theorem prover for ease of installation and execution from python
Language: Shell - Size: 1.65 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
philzook58/pyvampire
A simple repackaging of the Vampire automated theorem prover
Language: Shell - Size: 20.8 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
sushmaakoju/demo-ATLS5214
Exploratory self-study to learn about Theorem Provers and Turing Completeness.
Language: Jupyter Notebook - Size: 2.39 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
martinsvat/Pruning-Hypotheses
Implementation of pruning hypothesis space using domain theories -- M. Svatoš, G. Šourek, F. Zeležný, S. Schockaert, and O. Kuželka: Pruning Hypothesis Spaces Using Learned Domain Theories, ILP'17
Language: Java - Size: 22.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
jyhong0304/SII
The official implementation of an Insect-Inspired Randomly Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational Learning (NeSy20/21@IJCLR)
Language: Python - Size: 253 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
DaimyoHub/sat-problem-solver
A simple k-SAT problem solver.
Language: OCaml - Size: 2.53 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
Estebans441/Motor-de-inferencia
Programa que implementa el Algoritmo de resolución por refutación.
Language: Python - Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
srapaport/Coop-robot
Algorithm using Interpolation to determine if a 'Robot move' strategy is efficient when the goal is to gather robots on one point
Language: Python - Size: 10.7 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
ZeroBone/ApplicationsOfCompactness
My presentation about the compactness theorem of propositional and first order logic
Language: TeX - Size: 79.1 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
Ricaidito/NLP-Prolog
Traductor de Inglés a Fórmulas de Lógica de Primer Orden
Language: Prolog - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
watchduck/concertina_hypercubes
Language: POV-Ray SDL - Size: 512 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1
joshuacrotts/masters-thesis
This is a repository for my Master's thesis LaTeX source.
Language: TeX - Size: 21.9 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
lfm0006/FOLParser
A parser for first-order logic
Language: ANTLR - Size: 1.45 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
armixz/AI-Knowledge-Representation
Knowledge Representation paradigm to create a simple question-answering tool.
Language: Prolog - Size: 116 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1
fabiuslongo/pycaspar
Python implementation of CASPAR (Cognitive Architecture System Planned and Reactive)
Language: Python - Size: 16.6 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
stefk0/lp
Логическо програмиране
Language: TeX - Size: 85 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1
urvishjarvis1/unificationalgorithm
The Prolog Unification algorithm
Language: Java - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
SukritiGupta/Logic
Logic for Computer Science course projects
Language: OCaml - Size: 5.33 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
keerthanvasist/CSCI-561-Artificial-Intelligence
Language: Java - Size: 21.5 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1
varmax2511/SmartFridge
A natural language understanding system that allows users to text queries or instructions
Language: Prolog - Size: 52.7 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 2
sameeravithana/FOL_Refutation_Prover
Refutation Prover for FOL using First-Order Resolution
Language: Python - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
