Movatterモバイル変換

Skip to content

#

logic

Here are 2,091 public repositories matching this topic...

Language:All

Filter by language

All2,091 Python368 JavaScript295 Java169 C++106 HTML93 TypeScript90 C81 TeX66 Haskell54 Jupyter Notebook52

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

logisim-evolution

logisim-evolution /logisim-evolution

Digital logic design tool and simulator

education simulator fpga vhdl logic circuits verilog circuit digital-logic logisim digital-circuit digital-circuits timing-diagram digital-logic-design logisim-evolution

UpdatedDec 17, 2025
Java

steshaw /plt

Programming Language Theory λΠ

functional-programming logic type-theory category-theory programming-languages proof-theory

UpdatedDec 2, 2024
CSS

hneemann /Digital

A digital logic designer and circuit simulator.

education simulator logic circuit logic-gates logisim digital-circuits

UpdatedAug 14, 2025
Java

typedb

typedb /typedb

TypeDB: the power of programming, in your database

database polymorphic logic inference polymorphism knowledge-base type-system strongly-typed knowledge-representation reasoning typedb typeql

UpdatedDec 17, 2025
Rust

i5ting /imove

INACTIVE: Move your mouse, generate code from flow chart

javascript logic flowchart xstate lowcode x6

UpdatedMar 22, 2022
TypeScript

flix /flix

The Flix Programming Language

language programming-language functional jvm logic flix hacktoberfest imperative

UpdatedDec 17, 2025
Flix

hendrycks /math

The MATH Dataset (NeurIPS 2021)

math logic reasoning

UpdatedSep 6, 2025
Python

magmide /magmide

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

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

UpdatedApr 1, 2024
Coq

Nucleoid

NucleoidAI /Nucleoid

Neuro-Symbolic AI with Pythonic Logic Language 🌱🐋🌍

node typescript knowledge logic knowledge-graph symbolic logic-programming knowledge-base expert-system reasoning neuro-symbolic-learning rag neuro-symbolic semantic-reasoning neuro-symbolic-ai neurosymbolic-ai graph-rag reasoning-engine semantic-reasoner

UpdatedNov 24, 2025
Python

GGBRW /BOOLR

A digital logic simulator

simulator digital simulation logic logic-gates

UpdatedMar 3, 2022
JavaScript

klaudiosinani /awesome-prolog

Curated list of Prolog packages and resources

list awesome programming logic prolog

UpdatedSep 24, 2025

wotbrew /relic

Functional relational programming for Clojure(Script).

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

UpdatedNov 29, 2024
Clojure

alexanderskulikov /discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

python cryptography algorithms graph-algorithms graphs logic probability mathematics python3 recursion enumeration discrete-mathematics combinatorics dynamic-programming bayes induction number-theory combinatorics-and-probability

UpdatedJul 20, 2025
Jupyter Notebook

acl2 /acl2

ACL2 System and Books as Maintained by the Community

common-lisp logic theorem-proving first-order-logic formal-methods formal-verification theorem-prover rewriting acl2

UpdatedDec 18, 2025
Common Lisp

alexanyernas /Ejercicios-Practicos

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

practice logic exercises logic-programming

UpdatedFeb 8, 2022

opennars /opennars

OpenNARS for Research 3.0+

java agent learning semantic database ai graph realtime solver logic inference agi rl artificial-general-intelligence reinforcement aikr nars reasoner nal reasoning

UpdatedMar 31, 2021
Java

OpenCircuits

OpenCircuits /OpenCircuits

A free, open source, online digital circuit/logic designer.

education typescript simulator logic circuit-simulator circuits designer circuit logic-gates hacktoberfest digital-circuits digital-circuit-design

UpdatedSep 19, 2025
TypeScript

newca12 /awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

rust dependent-types logic theorem-proving formal-verification prover automated-theorem-provers reasoning theorem-prover constructive-mathematics proof-assistants

UpdatedDec 15, 2025

Jfaler /Philosophy

:octocat: A list of philosophy books and resources.

list nothing good books politics evil logic philosophy mathematics symbols aesthetics wisdom truth metaphysics thinking epistemology ethics philosopher morals dialectic

UpdatedDec 27, 2020

spamegg1 /reviews

Reviewing some online CS courses I took

javascript ruby kotlin python c java scala networking algorithms racket assembly computer-graphics logic mathematics databases programming-languages nand2tetris operating-systems hdl smlnj

UpdatedDec 7, 2025
JavaScript

Improve this page

Add a description, image, and links to thelogic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thelogic topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp