Topic: propositional-logic Goto Github
Some thing interesting about propositional-logic
Some thing interesting about propositional-logic
propositional-logic,Open source F# mathematical logic library.
User: 0xgeorgii
propositional-logic,A handy utility for propositional logic.
User: 4g3nt81lly
propositional-logic,A Julia implementation of Logics (WIP)
User: aidan-bailey
propositional-logic,An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF
User: archanpatkar
propositional-logic,A tiny implementation of logical resolution.
User: ayberkt
propositional-logic,Prove propositional logic tautologies via Smullyan's tableaux method
User: bediger4000
propositional-logic,Propositional theorem prover using Wang's algorithm
User: benhuds
propositional-logic,boolean expression manipulator for educational purposes
User: boramalper
Home Page: http://labs.boramalper.org/boolexman
propositional-logic,Tutorial on the Convolutional Tsetlin Machine
Organization: cair
Home Page: https://arxiv.org/abs/1905.09688
propositional-logic,Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget
Organization: cair
Home Page: https://pypi.org/project/pyTsetlinMachine/
propositional-logic,Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity.
Organization: cair
Home Page: https://pypi.org/project/pyTsetlinMachineParallel/
propositional-logic,Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is written in Python with wrappers for C and CUDA-based clause evaluation and updating.
Organization: cair
Home Page: https://pypi.org/project/tmu/
propositional-logic,Code and datasets for the Tsetlin Machine
Organization: cair
Home Page: https://arxiv.org/abs/1804.01508
propositional-logic,MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Organization: catseye
Home Page: https://catseye.tc/node/Maxixe
propositional-logic,MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Organization: catseye
Home Page: https://catseye.tc/node/Philomath
propositional-logic,Provides a Refl encoding in Rust
User: centril
propositional-logic,This repository for implementations of Artificial intelligence algorithms
User: cheng-lin-li
Home Page: https://cheng-lin-li.github.io/AI
propositional-logic,Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
User: cpressey
propositional-logic,Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.
User: eric11eca
propositional-logic,A propositional logic library.
Organization: etec-sa
Home Page: https://www.npmjs.com/package/fregejs
propositional-logic,An implementation of a propositional logic resolution prover in Rust.
User: excaliburzero
propositional-logic,"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
User: flijnzaad
propositional-logic,A simple theorem prover made for a university programming assignment
User: georgejkaye
propositional-logic,Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
User: hjbolus
Home Page: https://www.logicthrupython.org/
propositional-logic,A computer algebra system for propositional logic
User: jakobjpeters
Home Page: https://jakobjpeters.github.io/PAndQ.jl/
propositional-logic,An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
User: joedougherty
propositional-logic,A Library for Classical Propositional Logic in Agda
User: jonaprieto
Home Page: https://jonaprieto.github.io/agda-prop/Data.PropFormula.html
propositional-logic,This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
User: joshuacrotts
propositional-logic,He Reiter, Ho Reiter, He Reiter, Immer weiter!
User: kijeong-lim
propositional-logic,Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Organization: knowsys
Home Page: https://iccl.inf.tu-dresden.de/web/Formale_Systeme
propositional-logic,Pravda is a tool for teaching formal logic.
Organization: livrelogique
Home Page: http://pravda.irisa.fr/
propositional-logic,Tempo-tango is a .NET interpreter for Linear Temporal Logic in F#. Tempo-tango talks about time as events in the future and extends normal propositional logic by including a time dimension.
User: maate
propositional-logic,Yet Another Sat solvER
User: marcluque
Home Page: https://marcluque.com
propositional-logic,A Python package for deal with logical formulas and formal systems (e.g. FOL)
User: marcofavorito
propositional-logic,Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
User: maximaximal
Home Page: https://maximaximal.github.io/limboole/
propositional-logic,Minesweeper game powered with an AI assistant to help you dodge all those dangerous mines!
User: moosasaadat
propositional-logic,@mathslogicbot
User: mscroggs
Home Page: http://twitter.com/mathslogicbot
propositional-logic,Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
User: nclarius
propositional-logic,Python library for computational formal logic, formal semantics, and theorem proving
User: ozekik
Home Page: https://ozekik.github.io/mathesis/
propositional-logic,Certified proof checker for Fitch-style propositional logic proofs
User: palmskog
propositional-logic,CIT-316 (Artificial Intelligence Sessional)
User: rakibul73
propositional-logic,An Inference Engine based on Propositional Calculus written in Common Lisp
User: ryukinix
Home Page: https://logic.manoel.dev
propositional-logic,⊻ A truth table generator.
User: sidney-pham
Home Page: https://sidney-pham.github.io/truth-tables/
propositional-logic,A Theorem Prover for Propositional Logic
User: sramakrishnan247
propositional-logic,Trabalho para a disciplina de lógica para computação.
User: szheron
propositional-logic,A set of tools for analyzing languages via logic and automata
User: vvulpes0
propositional-logic,From LTLf/LDLf To Automata
Organization: whitemech
Home Page: https://flloat.herokuapp.com/
propositional-logic,Efficient parallelized implementation of Multilabel Classifier and Regressor Tsetlin Machines
User: wojciechmigda
Home Page: https://wojciechmigda.github.io/Tsetlini/
propositional-logic,SD's contributions to Metamath's mmsolitaire project.
User: xamidi
Home Page: https://us.metamath.org/mmsolitaire/pmproofs.txt
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.