Topic: logic

OpenLogic

OpenLogic

237

An open-source, customizable intermediate logic textbook

opennars

opennars

86

OpenNARS 1.6+

minetest-mod-mesecons

minetest-mod-mesecons

69

Mod for minetest that adds digital circuitry [=minecraft redstone]

odbc

odbc

57

Connect to ODBC databases (using the DBI interface)

javascript.anomaly

javascript.anomaly

52

Examples of not obvious behaviors for javascript beginner programmers

vulcan

vulcan

40

A NodeJS propositional logic and resolution library

LoMRF

LoMRF

37

LoMRF is an open-source implementation of Markov Logic Networks

dls-schematics

dls-schematics

37

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

ml-gradle

ml-gradle

22

Gradle plugin for automating anything you can imagine with MarkLogic

erudite

erudite

13

A JavaScript equivalent to Literate CoffeeScript

terraform-up-and-running-code

terraform-up-and-running-code

12

Code samples for the book "Terraform: Up & Running" by Yevgeniy Brikman

zipperposition

zipperposition

11

An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting