Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with mathematical-logic

A curated list of projects in awesome lists tagged with mathematical-logic .

https://github.com/advancedresearch/path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics

mathematical-logic research type-theory

Last synced: 21 Nov 2024

https://github.com/joom/hezarfen

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

automated-theorem-provers idris mathematical-logic metaprogramming theorem-prover

Last synced: 20 Nov 2024

https://github.com/emarzion/systemt

An interpreter for Gödel's System T

logic mathematical-logic mathematics

Last synced: 10 Feb 2025

https://github.com/devopsthinh/coding-deep-learning

A self-taught project about Machine Learning & Deep Learning with Python. Thanks to the countless researchers and developers around the world and their open-source code, particularly Python-based open-source code!

ai cnn-architecture cnn-keras coremltools deep-learning inception-architecture investing machine-learning mathematical-analysis mathematical-logic mathematical-programming neural-network reinforcement-learning supervised-learning unsupervised-learning

Last synced: 15 Apr 2025

https://github.com/ozekik/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

first-order-logic formal-logic logic mathematical-logic philosophical-logic philosophy proof propositional-logic prover semantics

Last synced: 25 Apr 2025

https://github.com/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.

dnf first-order-logic mathematical-logic normal-form propositional-logic

Last synced: 25 Feb 2025

https://github.com/praisetompane/mathematics

An attempt at unpacking mathematics and how it is created/discovered in layman's terms.

field-theory geometry group-theory mathematical-logic numbers probability-theory real-functions

Last synced: 16 Apr 2025

https://github.com/gopavel/math-logic

Repository contains homeworks of math logic course.

haskell mathematical-logic

Last synced: 03 Apr 2025

https://github.com/choukh/hilbertsystem

Formal development of Hilbert style propositional logic in Agda

agda formal-verification formalization mathematical-logic mathematics

Last synced: 05 Mar 2025

https://github.com/marinossav/schnapsen_card_game_bot

Experimenting with intelligent agents utilizing a variety of different algorithmic methods to develop an expert level bot for the card game of Schnapsen.

artificial-intelligence bots decision-theory game-theory imperfect-information-games intelligent-agents mathematical-logic permutation-tables predictive-modeling schnapsen state-space-search tree-sear uninformed-search

Last synced: 25 Feb 2025

https://github.com/heracliteanflux/logic-and-numbers

Exercises in logic and number theory with an emphasis on primality and implementations in the Python programming language.

computer-science factorization formal-logic informal-logic logic mathematical-logic predicate-logic primality primality-test propositional-logic python python3

Last synced: 02 Mar 2025

https://github.com/angha-varangaonkar/leetcode-practise

This repository is committed to solving one LeetCode question daily and uploading the solution here.

array java mathematical-logic queue stack

Last synced: 17 Mar 2025

https://github.com/fab2bprog/xojo-prime-number-generator

Xojo Prime number generator with Atkin and Erastosthene sieve algorithm

algorithms mathematical mathematical-logic prime-numbers sieve-of-atkin sieve-of-eratosthenes xojo

Last synced: 02 Apr 2025