Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

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: 17 Dec 2024

https://github.com/hneemann/Digital

A digital logic designer and circuit simulator.

circuit digital-circuits education logic logic-gates logisim simulator

Last synced: 02 Nov 2024

https://github.com/i5ting/imove

INACTIVE: Move your mouse, generate code from flow chart

flowchart javascript logic lowcode x6 xstate

Last synced: 20 Dec 2024

https://github.com/hendrycks/math

The MATH Dataset (NeurIPS 2021)

logic math reasoning

Last synced: 20 Dec 2024

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: 18 Dec 2024

https://github.com/GGBRW/BOOLR

A digital logic simulator

digital logic logic-gates simulation simulator

Last synced: 19 Nov 2024

https://github.com/wotbrew/relic

Functional relational programming for Clojure(Script).

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

Last synced: 16 Nov 2024

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: 23 Nov 2024

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

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

clojure logic mathematics proof-assistant

Last synced: 16 Nov 2024

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: 07 Nov 2024

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

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

logic minetest minetest-mod redstone wires

Last synced: 21 Dec 2024

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: 19 Dec 2024

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: 25 Nov 2024

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: 20 Dec 2024

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

Examples of not obvious behaviors for javascript beginner programmers

anomaly closure javascript logic math

Last synced: 16 Nov 2024

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: 19 Dec 2024

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: 14 Nov 2024

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: 19 Dec 2024

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: 26 Sep 2024

https://github.com/gingerbeardman/mandala

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

logic mandala mandala-art pixels

Last synced: 17 Dec 2024

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: 18 Nov 2024

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: 17 Dec 2024

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: 18 Dec 2024

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: 22 Dec 2024

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

Beautiful Digital Timing Diagrams with Rust

diagrams digital logic svg timing wasm wavedrom waveform

Last synced: 27 Oct 2024

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: 18 Dec 2024

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: 18 Dec 2024

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: 21 Dec 2024

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: 31 Oct 2024

https://github.com/philzook58/knuckledragger

Semi-Automated Python Proof Assistant

logic proof-assistant theorem-proving

Last synced: 11 Nov 2024

https://github.com/qnighy/ipc_solver

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

logic ocaml solver twitter

Last synced: 22 Oct 2024

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: 16 Nov 2024

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: 23 Nov 2024

https://github.com/FormalizedFormalLogic/Foundation

Lean4 Logic Formalization

incompleteness lean4 logic

Last synced: 24 Oct 2024

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

Filter bundle for API Platform, Filter Logic

api-platform doctrine doctrine-orm filter logic wherefilter

Last synced: 18 Nov 2024

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: 15 Nov 2024

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: 19 Dec 2024

https://github.com/jrclogic/smcdel

A symbolic model checker for Dynamic Epistemic Logic.

epistemic-logic haskell logic model-checking symbolic

Last synced: 30 Oct 2024

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: 21 Nov 2024

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

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

logic math truth-table truth-table-generator

Last synced: 15 Nov 2024

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: 23 Nov 2024

https://github.com/linkml/owlstar

Ontological Interpretations for Web Property Graphs

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

Last synced: 10 Nov 2024

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: 01 Nov 2024

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: 09 Oct 2024

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: 12 Nov 2024

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

Experimental model finder/SMT solver for functional programming.

computational formal-methods logic model ocaml sat solver

Last synced: 12 Oct 2024

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

Alternative implementation of the logical framework Dedukti in Rust

dedukti dependent-types logic rust typechecker

Last synced: 08 Nov 2024

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

Propositional logic evaluator and rule-based pattern matcher

logic repl rust

Last synced: 16 Nov 2024

https://github.com/iliasam/uprobe

Simple logic probe for electronic circuits

lcd logic oscilloscope probe stm32

Last synced: 28 Nov 2024

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: 16 Nov 2024

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: 15 Nov 2024

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: 13 Nov 2024

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: 28 Oct 2024

https://github.com/freand76/digsim

An interactive digital logic simulator with verilog support (Yosys)

logic python rtl simulation simulator vcd verilog yosys

Last synced: 17 Nov 2024

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: 10 Nov 2024

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

A computer algebra system for propositional logic

julia julialang logic propositional-logic symbolic

Last synced: 02 Nov 2024

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

Logical programming in JavaScript

constraint-programming javascript logic logic-programming mfjs monad

Last synced: 19 Nov 2024

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: 15 Nov 2024

https://github.com/sdiehl/picologic

Symbolic logic expressions

haskell haskell-library logic picosat sat-solver

Last synced: 21 Nov 2024

https://github.com/blenderskool/lexico

🔭 Powerful data searching with terse syntax

data dsl extended fuzzy hacktoberfest indexes logic operators search

Last synced: 07 Nov 2024

https://github.com/jondot/hypermatch

A fast, sandboxed micro matching engine with serializable rules.

javascript logic matching nodejs rule-engine

Last synced: 12 Nov 2024

https://github.com/coot/heyting-algebras

Heyting Algebras in Haskell

haskell-library logic

Last synced: 03 Dec 2024

https://github.com/pveyes/smartass

Test your javascript knowledge

interview-questions javascript logic nodejs questions

Last synced: 11 Oct 2024

https://github.com/newca12/scala-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala

logic scala scala-port

Last synced: 08 Nov 2024

https://github.com/nzbr/vlogsolv

vlogsolv is a small command line program that calculates value tables for logical expressions

logic v vlang

Last synced: 07 Nov 2024

https://github.com/logsem/clutch

A probabilistic relational separation logic with support for asynchronous couplings.

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

Last synced: 12 Oct 2024

https://github.com/colemangariety/derivation-machine

Propositional calculus in Haskell

calculus conclusion homework logic premise

Last synced: 11 Oct 2024

https://github.com/emarzion/systemt

An interpreter for Gödel's System T

logic mathematical-logic mathematics

Last synced: 10 Oct 2024

https://github.com/xf-zhao/LoT

Official implementation of LoT paper: "Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic"

chain-of-thought chain-of-thought-prompting chain-of-thought-reasoning chain-of-thoughts coling coling2024 language language-model llm llms logic lot reasoning symbolic-logic symbolic-logic-reasoning zero-shot

Last synced: 27 Oct 2024

https://github.com/philzook58/snakelog

A Datalog Framework for Python

datalog logic

Last synced: 11 Nov 2024

https://github.com/acorrenson/modulus

A constraint solver built from scratch in OCaml

hacktoberfest logic logic-programming sat sat-solver smt smt-lib smt-solver solver solvers theories

Last synced: 20 Nov 2024

https://github.com/UFrameIT/UFrameIT

The current Unity-based implementation of the FrameIT approach

educational-game logic mathematical-knowledge-management research-project unity

Last synced: 10 Nov 2024

https://github.com/jesus89/logic-games

¿How to solve logic games using an FPGA? Let's do some experiments!

fpga game icestudio logic

Last synced: 12 Oct 2024

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: 08 Nov 2024

https://github.com/qnighy/lltoy

Linear Logic Toy on Browser

game javascript logic

Last synced: 23 Oct 2024

https://github.com/joom/modal

Compilation of modal logic based functional language ML5 to JavaScript.

agda compiler javascript logic modal-logic

Last synced: 12 Nov 2024

https://github.com/jdkato/tombstone.js

:green_book: A JavaScript propositional logic library.

logic

Last synced: 13 Oct 2024

https://github.com/acorrenson/oratio

Translate natural deduction proofs into natural language.

logic proof-assistant proofs

Last synced: 20 Nov 2024

https://github.com/luizzak/towerssolver

A solver for the Skyscrapers/Towers logic game written in Swift 4.

logic puzzle-solver swift

Last synced: 30 Oct 2024