logisim-evolution/logisim-evolution

Digital logic design tool and simulator

Language: Java - Size: 108 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5,724 - Forks: 724

steshaw/plt

Programming Language Theory λΠ

Language: CSS - Size: 217 KB - Last synced at: 17 days ago - Pushed at: 5 months ago - Stars: 5,285 - Forks: 340

hneemann/Digital

A digital logic designer and circuit simulator.

Language: Java - Size: 37.8 MB - Last synced at: 17 days ago - Pushed at: about 2 months ago - Stars: 4,828 - Forks: 492

typedb/typedb

TypeDB: the power of programming, in your database

Language: Rust - Size: 104 MB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 3,973 - Forks: 344

i5ting/imove

INACTIVE: Move your mouse, generate code from flow chart

Language: TypeScript - Size: 1.55 MB - Last synced at: 9 days ago - Pushed at: about 3 years ago - Stars: 3,747 - Forks: 341

flix/flix

The Flix Programming Language

Language: Scala - Size: 118 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2,275 - Forks: 162

hendrycks/math

The MATH Dataset (NeurIPS 2021)

Language: Python - Size: 16.4 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 1,090 - Forks: 95

magmide/magmide

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

Language: Coq - Size: 38.5 MB - Last synced at: 30 days ago - Pushed at: about 1 year ago - Stars: 823 - Forks: 13

GGBRW/BOOLR

A digital logic simulator

Language: JavaScript - Size: 56.8 MB - Last synced at: 6 months ago - Pushed at: about 3 years ago - Stars: 616 - Forks: 65

NucleoidAI/Nucleoid

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

Language: TypeScript - Size: 6.18 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 600 - Forks: 15

klaudiosinani/awesome-prolog

Curated list of Prolog packages and resources

Size: 50.8 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 535 - Forks: 38

wotbrew/relic

Functional relational programming for Clojure(Script).

Language: Clojure - Size: 1.68 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 418 - Forks: 7

alexanyernas/Ejercicios-Practicos

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

Size: 1.1 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 404 - Forks: 103

acl2/acl2

ACL2 System and Books as Maintained by the Community

Language: Common Lisp - Size: 1.37 GB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 388 - Forks: 108

opennars/opennars

OpenNARS for Research 3.0+

Language: Java - Size: 55.1 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 372 - Forks: 86

OpenCircuits/OpenCircuits

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

Language: TypeScript - Size: 32.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 341 - Forks: 82

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.

Size: 312 KB - Last synced at: 12 days ago - Pushed at: 23 days ago - Stars: 332 - Forks: 11

Jfaler/Philosophy

:octocat: A list of philosophy books and resources.

Size: 37.1 KB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 316 - Forks: 15

spamegg1/reviews

Reviewing some online CS courses I took

Language: JavaScript - Size: 1.39 GB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 312 - Forks: 18

alexanderskulikov/discrete-math-python-scripts

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

Language: Jupyter Notebook - Size: 1.63 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 308 - Forks: 118

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.

Language: Prolog - Size: 13 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 301 - Forks: 23

latte-central/LaTTe

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

Language: Clojure - Size: 703 KB - Last synced at: 3 days ago - Pushed at: 2 months ago - Stars: 259 - Forks: 13

IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Language: Python - Size: 9.74 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 258 - Forks: 451

lab-v2/pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

Language: Python - Size: 3.99 MB - Last synced at: 20 days ago - Pushed at: 25 days ago - Stars: 256 - Forks: 19

schwering/limbo

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

Language: C++ - Size: 2 MB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 238 - Forks: 14

typedb/typeql

TypeQL: the power of programming, in your database

Language: Java - Size: 6.27 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 227 - Forks: 46

LogicalAtomist/principia

The Principia Rewrite

Language: TeX - Size: 12.1 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 214 - Forks: 5

minetest-mods/mesecons

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

Language: Lua - Size: 9.66 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 213 - Forks: 122

HussainAther/awesome-philosophy

A curated list of awesome philosophy

Size: 67.4 KB - Last synced at: 4 days ago - Pushed at: over 5 years ago - Stars: 209 - Forks: 15

diagram-of-thought/diagram-of-thought

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

Size: 2.14 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 177 - Forks: 11

ztangent/Julog.jl

A Julia package for Prolog-style logic programming.

Language: Julia - Size: 202 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 177 - Forks: 11

veyselusta/programming-language-research

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

Size: 38.1 KB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 169 - Forks: 6

jdryg/dls-schematics

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

Language: Lua - Size: 16.1 MB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 160 - Forks: 9

pietrobarbiero/pytorch_explain

PyTorch Explain: Interpretable Deep Learning in Python.

Language: Jupyter Notebook - Size: 42.1 MB - Last synced at: 1 day ago - Pushed at: 12 months ago - Stars: 154 - Forks: 14

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)

Language: TeX - Size: 11.5 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 150 - Forks: 24

knowsys/nemo

A fast in-memory rule engine

Language: Rust - Size: 6.52 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 147 - Forks: 8

fenwii/LibraryBookSearchEngine

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

Size: 338 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 145 - Forks: 28

LittleLollipop/LBox

Language: Java - Size: 643 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 145 - Forks: 21

sneeuwballen/zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Language: OCaml - Size: 29.3 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 141 - Forks: 17

ufocoder/javascript.anomaly

Examples of not obvious behaviors for javascript beginner programmers

Size: 10.7 KB - Last synced at: 26 days ago - Pushed at: almost 6 years ago - Stars: 135 - Forks: 18

FLHonker/Awesome-Neural-Logic

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Size: 2.41 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 127 - Forks: 19

sreahw/schuller-geometric

Source code for lecture notes

Language: TeX - Size: 505 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 126 - Forks: 44

almossawi/badarguments

Book of Bad Arguments & Mr. Rabbit's Guide to Sneaky Rhetoric

Language: HTML - Size: 209 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 125 - Forks: 21

r4gus/nodus 📦

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

Language: Rust - Size: 8.13 MB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 125 - Forks: 6

switz/driver

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

Language: TypeScript - Size: 363 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 117 - Forks: 1

FormalizedFormalLogic/Foundation

Formalization of Mathematical Logic

Language: Lean - Size: 5.65 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 116 - Forks: 6

TheRiscGuy/Veecom

Simple Yet Powerful RISC-V Computer

Language: Assembly - Size: 5.75 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 115 - Forks: 11

bharathgs/NALU

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

Language: Python - Size: 168 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 115 - Forks: 21

adyavanapalli/stanford-introduction-to-mathematical-thinking

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

Size: 8.57 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 112 - Forks: 30

philzook58/knuckledragger

A Low Barrier Proof Assistant

Language: Python - Size: 7.5 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 109 - Forks: 5

cardillan/mindcode

A high level language for Mindustry Logic (mlog) and Mindustry Schematics.

Language: Java - Size: 16.3 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 104 - Forks: 16

engboris/stellogen

An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax

Language: OCaml - Size: 2.04 MB - Last synced at: about 3 hours ago - Pushed at: about 4 hours ago - Stars: 103 - Forks: 9

nikolaydubina/go-hackers-delight

"Hacker's Delight" in Go

Language: Go - Size: 236 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 101 - Forks: 4

spamegg1/Epp-Discrete-Math-5th-solutions

Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition

Language: TeX - Size: 67.2 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 97 - Forks: 23

rzach/forallx-yyc Fork of OpenLogicProject/forallx-cam

UCalgary version of forallx, an introduction to formal logic

Language: TeX - Size: 1.54 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 97 - Forks: 34

Galigator/openllet

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

Language: Java - Size: 59.4 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 97 - Forks: 26

aljen/spaghetti

Graphical logic editor/simulator

Language: C++ - Size: 1.46 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 97 - Forks: 14

para-droid-ai/scratchpad

Scratchpad

Size: 55.9 MB - Last synced at: 1 day ago - Pushed at: 25 days ago - Stars: 91 - Forks: 12

neogeodev/NeoGeoFPGA-sim

Simulation only cartridge NeoGeo hardware definition

Language: Verilog - Size: 12.3 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 88 - Forks: 12

glennstreet/awesome-philosophy-compsci

A list of resources that cross the disciplines of Computer Science and Philosophy

Size: 132 KB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 85 - Forks: 4

anskarl/LoMRF

LoMRF is an open-source implementation of Markov Logic Networks

Language: Scala - Size: 17.5 MB - Last synced at: 4 days ago - Pushed at: 8 months ago - Stars: 84 - Forks: 18

gingerbeardman/mandala

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

Language: Lua - Size: 21.5 KB - Last synced at: about 13 hours ago - Pushed at: 9 months ago - Stars: 82 - Forks: 3

Valian/python-business-logic

Python package that makes creating complicated business logic easy

Language: Python - Size: 76.2 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 82 - Forks: 7

coastalwhite/wavedrom-rs

Beautiful Digital Timing Diagrams with Rust

Language: Rust - Size: 1.45 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 80 - Forks: 4

jaalonso/Lecturas_GLC

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

Size: 9.24 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 78 - Forks: 8

tomcl/issie

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

Language: F# - Size: 120 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 78 - Forks: 105

chicolucio/truth-table-generator

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

Language: Python - Size: 346 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 75 - Forks: 18

cicada-lang/chimera

Language: TypeScript - Size: 5.2 MB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 72 - Forks: 3

AthenaFoundation/athena

Athena is a modern, practical language for proof engineering & natural deduction.

Language: Standard ML - Size: 12.6 MB - Last synced at: about 10 hours ago - Pushed at: about 11 hours ago - Stars: 71 - Forks: 4

marklogic/ml-gradle

Gradle plugin for automating everything involving MarkLogic

Language: Java - Size: 5.62 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 71 - Forks: 79

daidr/truth-table

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

Language: Vue - Size: 284 KB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 70 - Forks: 5

DoctorWkt/CSCv2

Version 2 of my Crazy Small CPU

Language: Perl - Size: 4.2 MB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 69 - Forks: 10

Jumaruba/LPL-solutions

Solutions for the book "Language Proof and Logic".

Size: 10.3 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 67 - Forks: 155

RyanMarcus/vulcan

A JavaScript propositional logic and resolution library

Language: JavaScript - Size: 47.9 KB - Last synced at: 7 days ago - Pushed at: over 7 years ago - Stars: 61 - Forks: 8

flandreas/antares

Digital circuit learning platform

Language: HTML - Size: 78.8 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 58 - Forks: 7

jessehamner/TechMillForKids

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

Language: TeX - Size: 120 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 58 - Forks: 6

sys27/xFunc

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

Language: C# - Size: 6.9 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 57 - Forks: 6

Spydr06/logicrs

An easy-to-use simulator for logical circuits

Language: Rust - Size: 19 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 56 - Forks: 6

mrieppel/TruthTableGenerator

Generates truth tables for formulas of sentential logic

Language: JavaScript - Size: 122 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 55 - Forks: 15

rutgerswiselab/NLR

Code for paper: Neural Logic Reasoning

Language: Python - Size: 11.5 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 54 - Forks: 10

wyvernSemi/vproc

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

Language: VHDL - Size: 13.7 MB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 53 - Forks: 10

qnighy/ipc_solver

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

Language: OCaml - Size: 95.7 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 52 - Forks: 2

tgecho/canrun_rs

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

Language: Rust - Size: 687 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 51 - Forks: 3

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++.

Size: 74.2 KB - Last synced at: 27 days ago - Pushed at: over 4 years ago - Stars: 51 - Forks: 11

lps-js/lps.js

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

Language: JavaScript - Size: 1.18 MB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 51 - Forks: 5

malikpiara/logicola

LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.

Language: TypeScript - Size: 1.09 MB - Last synced at: 5 days ago - Pushed at: 22 days ago - Stars: 49 - Forks: 3

metaclass-nl/filter-bundle

Filter bundle for API Platform, Filter Logic

Language: PHP - Size: 64.5 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 49 - Forks: 9

pietrobarbiero/logic_explained_networks

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

Language: Python - Size: 12 MB - Last synced at: 30 days ago - Pushed at: almost 2 years ago - Stars: 49 - Forks: 10

Tractables/LogicCircuits.jl

Logic Circuits from the Juice library

Language: Julia - Size: 4.55 MB - Last synced at: 4 days ago - Pushed at: 11 months ago - Stars: 48 - Forks: 4

leoprover/Leo-III

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

Language: Scala - Size: 34 MB - Last synced at: 3 days ago - Pushed at: 8 days ago - Stars: 46 - Forks: 10

jrclogic/SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

Language: Haskell - Size: 14.2 MB - Last synced at: about 18 hours ago - Pushed at: 3 months ago - Stars: 46 - Forks: 9

nunchaku-inria/nunchaku

Model finder for higher-order logic

Language: OCaml - Size: 3.98 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 44 - Forks: 3

karlstroetmann/Logic

Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.

Language: TeX - Size: 139 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 43 - Forks: 32

krismuniz/js-to-json-logic

Generate JSON Logic objects using JavaScript syntax.

Language: JavaScript - Size: 667 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 43 - Forks: 12

utahnlp/layer_augmentation

Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.

Language: Python - Size: 35.8 MB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 42 - Forks: 6

aclai-lab/Sole.jl

Sole.jl – Long live transparent modeling!

Language: Julia - Size: 739 KB - Last synced at: 15 days ago - Pushed at: 16 days ago - Stars: 40 - Forks: 1

SimonBuxx/LogiJS

Discover and create logic circuits

Language: JavaScript - Size: 11 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 40 - Forks: 6

drendog/Logic-Circuit-Simulator

A logic circuit simulator made with p5.js library.

Language: JavaScript - Size: 1020 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 40 - Forks: 18

VictorYudin/switch

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

Language: Mathematica - Size: 6.84 MB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 38 - Forks: 8

neogeodev/NeoChips

Replacement "chips" for NeoGeo systems

Language: Verilog - Size: 986 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 36 - Forks: 9