logic topic

A digital logic simulator

GGBRW

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

jdryg

Examples of not obvious behaviors for javascript beginner programmers

ufocoder

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

magmide

The Principia Rewrite

LogicalAtomist

A Julia package for Prolog-style logic programming.

ztangent

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

ciao-lang

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

fenwii

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

FLHonker

:octocat: A list of philosophy books and resources.

Jfaler