gitlab.com topics: logic
dqalvarez/smcplaus
A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic
Last synced at: 13 days ago - Stars: 0 - Forks: 0
kritomas/logicalc
A logic circuit simulator.
Last synced at: almost 2 years ago - Stars: 0 - Forks: 0
korovin/iprover
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Last synced at: almost 2 years ago - Stars: 4 - Forks: 5
EAVISE/cdmn/cdmn-solver
Engine for cDMN, a more expressive extension of Decision Model and Notation
Last synced at: almost 2 years ago - Stars: 2 - Forks: 3
deepdaikon/Zoysii
A simple logic game: find the best path to delete every number in a square space
Last synced at: almost 2 years ago - Stars: 8 - Forks: 3
deepdaikon/Quinb
A multiplayer reaction game: train your mind and your reflexes while having fun!
Last synced at: about 2 years ago - Stars: 7 - Forks: 4
Vadevesi/foll-e
First Order Logic Learning Environment: accessible and fun way to sharpen logical reasoning skills.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
rrleme/heytinget
Find intuitionistic counter-models for classical tautologies.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
koui/koui-logic-nodes
Logic node pack for [Koui](https://gitlab.com/koui/Koui) and [Armory3D](https://github.com/armory3d/armory).
Last synced at: over 2 years ago - Stars: 2 - Forks: 0
SJort/advancedalgorithms
A class I followed about modelling and verifying a lock in UPPAAL.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
test156789/tp_unification
Implementation of Martelli-Montanari algorithm in Prolog.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
kuadrado-software/mentalo-app
An educational web application to practice logical thinking by building simple games based on static screens and text choices.
Last synced at: over 2 years ago - Stars: 2 - Forks: 0
EAVISE/cdmn/DMN-IDP
Interactive and multi-purpose DMN modeler and engine, powered by the IDP-Z3 system.
Last synced at: over 2 years ago - Stars: 3 - Forks: 0
viniciusmioto/projetos-digitais
Projetos Digitais - UFPR
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
sv4u/conlog
A constructive logic proof checker
Last synced at: almost 2 years ago - Stars: 0 - Forks: 0
samuelemarzola/computer-science-university-verona
Exercises, notes and code. -- Esercizi, appunti e codice.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
rrleme/consequentia
An automated system for Tableaux methods.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
lawebb/computer-processor-components
Implementation of components of a computer processor, written in hdl (output files also included as .cmp files).
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
rrleme/fregeit
A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
hernoufM/mastermind
Implementation of famous game "Master Mind" textual mode, with a very efficient solver. Wrote in Сlojure.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
KOLANICH/SolutionTable
A library for solving problems using tables
Last synced at: over 2 years ago - Stars: 0 - Forks: 0