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
- Updated
Jul 31, 2026 - Java
logic - 技术专题
相关标签
Here are 2,530 public repositories matching this topic...
A digital logic designer and circuit simulator.
- Updated
Jun 12, 2026 - Java
Programming Language Theory λΠ
- Updated
Dec 2, 2024 - CSS
TypeDB: Built for systems, not records
database polymorphic logic inference polymorphism knowledge-base type-system strongly-typed knowledge-representation reasoning typedb typeql
- Updated
Jul 31, 2026 - Rust
The Flix Programming Language
- Updated
Jul 31, 2026 - Flix
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
- Updated
May 14, 2026 - Rocq Prover
Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning
node typescript knowledge logic knowledge-graph symbolic logic-programming knowledge-base expert-system reasoning bun neuro-symbolic-learning rag neuro-symbolic semantic-reasoning neuro-symbolic-ai neurosymbolic-ai graph-rag reasoning-engine semantic-reasoner
- Updated
Jul 31, 2026 - Python
A digital logic simulator
- Updated
Mar 25, 2026 - JavaScript
Curated list of Prolog packages and resources
- Updated
Sep 24, 2025
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
- Updated
Jan 20, 2026 - Jupyter Notebook
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
- Updated
Aug 1, 2026 - Common Lisp
Functional relational programming for Clojure(Script).
- Updated
Jan 30, 2026 - Clojure
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
- Updated
Feb 8, 2022
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
- Updated
Jul 9, 2026 - TypeScript
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
- Updated
May 27, 2026
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
- Updated
Dec 27, 2020
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
- Updated
Dec 7, 2025 - JavaScript