Data

Tools

Indexes

Applications

Experiments

Awesome

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

Projects in Awesome Lists tagged with logic

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

https://github.com/hneemann/digital

A digital logic designer and circuit simulator.

circuit digital-circuits education logic logic-gates logisim simulator

Last synced: 13 May 2025

https://github.com/hneemann/Digital

A digital logic designer and circuit simulator.

circuit digital-circuits education logic logic-gates logisim simulator

Last synced: 01 Apr 2025

https://github.com/i5ting/imove

INACTIVE: Move your mouse, generate code from flow chart

flowchart javascript logic lowcode x6 xstate

Last synced: 15 May 2025

https://github.com/hendrycks/math

The MATH Dataset (NeurIPS 2021)

logic math reasoning

Last synced: 16 May 2025

https://github.com/magmide/magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

coq dependent-types formal-methods formal-verification logic systems-programming type-safety verification

Last synced: 08 Oct 2025

https://github.com/GGBRW/BOOLR

A digital logic simulator

digital logic logic-gates simulation simulator

Last synced: 16 May 2025

https://github.com/wotbrew/relic

Functional relational programming for Clojure(Script).

clojure dataflow incremental-view-maintenance logic relational-algebra relations sql

Last synced: 22 Oct 2025

https://github.com/alexanyernas/ejercicios-practicos

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

exercises logic logic-programming practice

Last synced: 17 Mar 2025

https://github.com/latte-central/LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

clojure logic mathematics proof-assistant

Last synced: 10 May 2025

https://github.com/schwering/limbo

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

beliefs knowledge logic reasoning

Last synced: 02 Mar 2025

https://github.com/ciao-lang/ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine

Last synced: 29 Oct 2025

https://github.com/minetest-mods/mesecons

Mod for Minetest that adds digital circuitry [=Minecraft redstone]

logic minetest minetest-mod redstone wires

Last synced: 18 Dec 2025

https://github.com/ztangent/julog.jl

A Julia package for Prolog-style logic programming.

first-order-logic fol julia logic logic-programming prolog

Last synced: 07 May 2025

https://github.com/jdryg/dls-schematics

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

cpu digital dls logic schematic simulation

Last synced: 17 Jul 2025

https://github.com/fenwii/librarybooksearchengine

LibraryBookSearchEngine，link librarys of all 197 Countries, search all resources of books，for student, research,图书馆图书搜索引擎,在家链接全球197个国家的图书馆，搜索图书资源,学生必备，科研必备，学习必备工具。

197countries academic book bookengine books college learning lib library librarysearchengine logic research science search-engine student students teaching thinking university

Last synced: 23 Oct 2025

https://github.com/spamegg1/math-for-cs-solutions

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

calculus computer-science counting functions graph graph-theory induction logic math number-theory probability proofs random-walks rsa-cryptography set-theory sets solution

Last synced: 02 Jan 2026

https://github.com/ufocoder/javascript.anomaly

Examples of not obvious behaviors for javascript beginner programmers

anomaly closure javascript logic math

Last synced: 16 Apr 2025

https://github.com/diagram-of-thought/diagram-of-thought

Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)

large-language-models llm logic math reasoning

Last synced: 30 Sep 2025

https://github.com/switz/driver

🏁 A typescript package for declarative finite states and commonly derived values - zero dependencies, fully typed, & framework agnostic

javascript logic state state-machine typescript ui

Last synced: 05 Apr 2025

https://github.com/bharathgs/nalu

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

accumulator alu arithmetic deep-learning deepmind logic machine-learning nalu neural-network pytorch

Last synced: 21 Aug 2025

https://github.com/r4gus/nodus

A logic gate simulator written in Rust using the Bevy game engine.

bevy bevy-engine circuit gate logic logic-circuit logic-gates rust simulator

Last synced: 29 Sep 2025

https://github.com/bharathgs/NALU

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

accumulator alu arithmetic deep-learning deepmind logic machine-learning nalu neural-network pytorch

Last synced: 07 May 2025

https://github.com/veyselusta/programming-language-research

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

compilers formal-methods functional-programming interpreters logic programming-languages type-theory

Last synced: 28 Aug 2025

https://github.com/Galigator/openllet

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

inference java jena logic owl owl-api owl2 reasoner semantic

Last synced: 16 Nov 2025

https://github.com/anskarl/lomrf

LoMRF is an open-source implementation of Markov Logic Networks

graphical-models inference logic machine-learning probabilistic-programming scala

Last synced: 09 May 2025

https://github.com/anskarl/LoMRF

LoMRF is an open-source implementation of Markov Logic Networks

graphical-models inference logic machine-learning probabilistic-programming scala

Last synced: 13 May 2025

https://github.com/gingerbeardman/mandala

A little playground for testing pixel logic patterns (for Playdate)

logic mandala mandala-art pixels

Last synced: 03 Aug 2025

https://github.com/valian/python-business-logic

Python package that makes creating complicated business logic easy

business-logic business-rules logic python

Last synced: 06 Sep 2025

https://github.com/philzook58/knuckledragger

A Low Barrier Proof Assistant

logic proof-assistant python theorem-proving

Last synced: 09 Apr 2025

https://github.com/coastalwhite/wavedrom-rs

Beautiful Digital Timing Diagrams with Rust

diagrams digital logic svg timing wasm wavedrom waveform

Last synced: 05 Apr 2025

https://github.com/tomcl/issie

Issie - an intuitive cross-platform hardware design application. https://tomcl.github.io/issie

digital editor educational electron fable fpga fsharp logic simulator verilog

Last synced: 04 Apr 2025

https://github.com/jaalonso/lecturas_glc

Readings on computational logic, interactive theorem proving and functional programming.

coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog

Last synced: 10 Apr 2025

https://github.com/marklogic/ml-gradle

Gradle plugin for automating everything involving MarkLogic

corb example examples gradle gradle-plugin logic mark marklogic mlcp sample samples

Last synced: 12 Apr 2025

https://github.com/chicolucio/truth-table-generator

truth-table-generator is a tool that allows to generate a truth table

logic pandas-styling truth-table truth-table-generator truth-tables ttg

Last synced: 30 Apr 2025

https://github.com/doctorwkt/cscv2

Version 2 of my Crazy Small CPU

7400 alu cpu logic

Last synced: 22 Jul 2025

https://github.com/daidr/truth-table

根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)

logic math truth-table truth-table-generator

Last synced: 02 Dec 2025

https://github.com/jessehamner/TechMillForKids

An introductory workshop for binary math, basic electronics, logic gates, and basic computing operations. For kids as young as 9.

computer-history electricity electronics kids logic logic-gates science transistors workshop

Last synced: 29 Mar 2025

https://github.com/sys27/xfunc

xFunc provides a powerful parser and analyzer for mathematical expressions. It excels at calculating derivatives, simplifying expressions, and achieving high performance.

analyzer c-sharp complex-numbers derivative differentiation dotnet evaluate-expressions expression lexer logic math math-parser mathematics parse parser simplification units units-of-measure

Last synced: 04 Apr 2025

https://github.com/qnighy/ipc_solver

O(N log N)-space IPC solver in OCaml

logic ocaml solver twitter

Last synced: 30 Apr 2025

https://github.com/tgecho/canrun_rs

A Rust logic programming library inspired by the *Kanren family of language DSLs.

dsl kanren logic rust

Last synced: 09 May 2025

https://github.com/lps-js/lps.js

Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.

ai artificial-intelligence interpreter javascript language languages library logic lps production-systems programming-language prolog

Last synced: 15 Jul 2025

https://github.com/FormalizedFormalLogic/Foundation

Lean4 Logic Formalization

incompleteness lean4 logic

Last synced: 13 Mar 2025

https://github.com/pietrobarbiero/logic_explained_networks

Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.

deep-learning explainable-ai logic machine-learning neural-networks xai

Last synced: 10 Oct 2025

https://github.com/leoprover/leo-iii

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

atp deduction-system higher-order-logic logic reasoning theorem-proving

Last synced: 21 Aug 2025

https://github.com/isquicha/exercicios-logica

Resolução dos exercícios de Lógica de Programação e Algoritmos da lista de exercícios da Wiki da Python Brasil, com as linguagens Python, Lua e C/C++.

c cpp logic lua programming python

Last synced: 15 Apr 2025

https://github.com/metaclass-nl/filter-bundle

Filter bundle for API Platform, Filter Logic

api-platform doctrine doctrine-orm filter logic wherefilter

Last synced: 24 Dec 2025

https://github.com/jrclogic/smcdel

A symbolic model checker for Dynamic Epistemic Logic.

epistemic-logic haskell logic model-checking symbolic

Last synced: 10 Apr 2025

https://github.com/aclai-lab/sole.jl

Sole.jl – Long live transparent modeling!

artificial-intelligence julia logic symbolic-learning

Last synced: 11 Oct 2025

https://github.com/VictorYudin/switch

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

appveyor game logic opengl usd

Last synced: 10 Jul 2025

https://github.com/linkml/owlstar

Ontological Interpretations for Web Property Graphs

fol knowledge-graph logic owl probabilistic-models rdf rdfstar semantics semweb

Last synced: 01 Jul 2025

https://github.com/lps-js/lps-studio

🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨

ai app artificial-intelligence canvas electron electron-app gui html5 html5-canvas logic logic-programming lps simulation visualisation visualization

Last synced: 26 Oct 2025

https://github.com/fenwii/librarybooksearchenginepro

LibraryBookSearchEngine，link librarys of all 197 Countries, search all resources of books，for student, research，academic etc,图书馆图书搜索引擎,在家链接全球197个国家的图书馆，搜索图书资源,学生必备，科研必备，学习必备工具。

academic book bookengine books learning library logic papers recommendation-system research science search-engine students university

Last synced: 22 Feb 2025

https://github.com/muqsit/arithmexp

A powerful mathematical expression parser and evaluator for PHP featuring variable substitution, user-defined constants, functions, deterministic functions, macros, operators, and compiler optimizations.

calculator compiler composer-library constant-folding logic math mathematical-expression-parser optimization parser php phpstan-l9 pmmp pocketmine-mp strength-reduction virion

Last synced: 30 Oct 2025

https://github.com/logsem/clutch

Probabilistic separation logics for verifying higher-order probabilistic programs.

asynchronous coq couplings higher-order iris logic probabilistic relational separation-logic

Last synced: 20 Sep 2025

https://github.com/eBay/oja

Lightweight Dependency Injection Framework for Node.JS Apps - Structure your application business logic

dependency-injection discovery-service javascript logic middleware nodejs structure

Last synced: 31 Mar 2025

https://github.com/iliasam/uprobe

Simple logic probe for electronic circuits

lcd logic oscilloscope probe stm32

Last synced: 02 Jul 2025

https://github.com/merlin04/truthtabl.es

Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm

logic nextjs ohm proof proof-assistant symbolic-logic truth-table truth-table-generator truth-tables

Last synced: 14 Apr 2025

https://github.com/c-cube/smbc

Experimental model finder/SMT solver for functional programming.

computational formal-methods logic model ocaml sat solver

Last synced: 29 Oct 2025

https://github.com/wyvernsemi/vproc

Virtual processor co-simulation element for Verilog, VHDL and SystemVerilog environments

asic-verification c codesign cosimulation cpp dpi dpi-c fpga logic logic-simulation pli processor python simulation-element systemverilog verification verilog vhdl vhpidirect vpi

Last synced: 03 Oct 2025

https://github.com/mainakrepositor/super-ciphers

A collection of some of the amazing cryptographic Ciphers in C++, Python and Java with a detailed documentation and approach map. (Particularly helpful for Blockchain. and designing Encryption Algorithms)

arithmetic blockchain cipher-algorithms cpp cryptography java logic python3

Last synced: 26 Oct 2025

https://github.com/01mf02/kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust

dedukti dependent-types logic rust typechecker

Last synced: 21 Jul 2025

https://github.com/angrysky56/mcp-logic

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

ai claude-3-5-sonnet llm logic mcp-server server tool

Last synced: 19 Oct 2025

https://github.com/sap-samples/build-codejam

This repository contains the material for the CodeJam on using SAP Build to create a process, an app, and a business site.

data-access logic sample sap-build-apps sap-build-process-automation sap-build-work-zone sap-codejam ui

Last synced: 05 Oct 2025

https://github.com/Janko-dev/plogic

Propositional logic evaluator and rule-based pattern matcher

logic repl rust

Last synced: 09 May 2025

https://github.com/roberthoenig/firstorderlogic.jl

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

first-order-logic julia logic satisfiability-solver

Last synced: 25 Apr 2025

https://github.com/freand76/digsim

An interactive digital logic simulator with verilog support (Yosys)

logic python rtl simulation simulator vcd verilog yosys

Last synced: 03 Jan 2026

https://github.com/preetiraj3697/30dayofjavascript

Code with consistency | About 30 days of JavaScript programming challenge is a step-by-step guide to learn JavaScript programming language in 30 days.

api calculator calendar clock country-guide-app css3 dark-theme favicon-generator filtering html javascript logic mathgame recipe-app tic-tac-toe

Last synced: 23 Mar 2025

https://github.com/bitkeks/theolog-ss2017

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

german lecture-notes logic theoretical-computer-science university

Last synced: 02 Mar 2025

https://github.com/scrounger/iobroker.linkeddevices

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

iobroker iobroker-adapter logic

Last synced: 06 Jul 2025

https://github.com/jakobjpeters/pandq.jl

A computer algebra system for propositional logic

julia julialang logic propositional-logic symbolic

Last synced: 30 Apr 2025

https://github.com/chanind/amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic

abstract-meaning-representation amr first-order-logic logic

Last synced: 24 Jul 2025

https://github.com/ixjf/logic-rs

A parser of relational predicate logic & truth tree solver, written in Rust.

consistency contingency contradiction first first-order formal-validity formulas logic order parser pest predicate relational rust tautology truth-tree validity wasm

Last synced: 09 May 2025

https://github.com/awto/mfjs-logic

Logical programming in JavaScript

constraint-programming javascript logic logic-programming mfjs monad

Last synced: 15 May 2025

https://github.com/aclai-lab/solelogics.jl

Computational logic in Julia!

logic modal-logic symbolic-learning

Last synced: 05 Apr 2025

https://github.com/sdiehl/picologic

Symbolic logic expressions

haskell haskell-library logic picosat sat-solver

Last synced: 11 Jul 2025