steshaw / plt

3.9k

λΠ Programming Language Theory

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

CSS Updated Mar 10, 2019

graknlabs / grakn

1.6k

Grakn Core: The Knowledge Graph

Java Updated May 29, 2019

GGBRW / BOOLR

371

A digital logic simulator

digital logic-gates logic simulation simulator

JavaScript Updated Feb 25, 2019

schwering / limbo

223

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

logic reasoning knowledge beliefs

C++ Updated May 28, 2019

klaussinani / awesome-prolog

207

Curated list of Prolog packages and resources

awesome prolog list logic programming

Updated Apr 27, 2019

latte-central / LaTTe

188

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

clojure proof-assistant logic mathematics

Clojure Updated Feb 16, 2019

opennars / opennars

185

OpenNARS 3.0+

Good first issues

See all

add Sentence.isQuestionOrQuest()

good first issue discussion

#206 opened about 1 year ago by PtrMan

5

rename NAR inputs to nar

good first issue duplicate

#174 opened about 1 year ago by PtrMan

2

refactor parameters

good first issue refactor

#180 opened about 1 year ago by PtrMan

Java Updated May 17, 2019

acl2 / acl2

142

ACL2 System and Books as Maintained by the Community

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

Good first issues

See all

warnings should probably be errors for non-existing parents in xdoc topics

Component: Docs

#873 opened 9 months ago by MattKaufmann

Fix-up BOZOs in documentation

Component: Docs Difficulty: Easy help wanted

#812 opened over 1 year ago by ragerdl

Improve define's return-specs to support lazy hints

Starter Component: STD

#790 opened over 1 year ago by ragerdl

Common Lisp Updated May 28, 2019

minetest-mods / mesecons

114

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

minetest redstone wires logic minetest-mod

Good first issues

Documentation style

documentation

#450 opened 5 months ago by numberZero

add support for doc modpack?

documentation enhancement

#307 opened over 2 years ago by DS-Minetest

8

Lua Updated Apr 10, 2019

bharathgs / NALU

101

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

pytorch nalu alu deep-learning neural-network deepmind arithmetic logic accumulator machine-learning

Python Updated Oct 3, 2018

ufocoder / javascript.anomaly

100

Examples of not obvious behaviors for javascript beginner programmers

javascript anomaly closure logic math

Updated Jun 14, 2017

jdryg / dls-schematics

94

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

schematic digital logic dls cpu simulation

Lua Updated Jan 27, 2019

neogeodev / NeoGeoFPGA-sim

76

Simulation only cartridge NeoGeo hardware definition

neogeo fpga verilog logic snk arcade mvs chip simulation neo-geo

Verilog Updated Nov 17, 2018

anskarl / LoMRF

59

LoMRF is an open-source implementation of Markov Logic Networks

scala machine-learning logic probabilistic-programming inference graphical-models

Scala Updated May 18, 2019

marklogic-community / ml-gradle

52

Gradle plugin for automating everything involving MarkLogic

gradle corb marklogic gradle-plugin example examples sample samples mark logic mlcp

Good first issues

Include example of loading namespaces in sample-project

documentation help wanted

#99 opened almost 3 years ago by tzejohn

2

Groovy Updated May 28, 2019

RyanMarcus / vulcan

51

A JavaScript propositional logic and resolution library

javascript proof proof-assistant logic

JavaScript Updated Sep 19, 2017

aljen / spaghetti

47

Graphical logic editor/simulator

logic editor simulation cpp17 cpp14 cpp cpp-library logic-gates logic-circuit-simulator qt5 modern-cpp

C++ Updated Mar 27, 2019

Valian / python-business-logic

42

Python package that makes creating complicated business logic easy

logic business-logic business-rules python

Python Updated Sep 16, 2018

Galigator / openllet

41

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

owl logic reasoner semantic owl-api jena java owl2 inference

Java Updated May 29, 2019

ciao-lang / ciao

39

The Ciao programming language

prolog compiler programming-language ciao logic language interpreter bytecode virtual-machine clp constraints

Prolog Updated Apr 17, 2019

qnighy / ipc_solver

31

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

ocaml logic solver twitter

OCaml Updated Oct 14, 2016

lps-js / lps.js

30

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

javascript production-systems library lps artificial-intelligence logic interpreter language ai languages programming-language prolog

JavaScript Updated May 12, 2019

c-cube / zipperposition

29

An automatic theorem prover in OCaml for typed higher-order logic with equality, datatypes and arithmetic, based on s…

prover superposition ocaml experimental logic computer-science-algorithms prototype induction polymorphism rewriting cnf symbolic-computation saturation

OCaml Updated May 29, 2019

nunchaku-inria / nunchaku

27

Model finder for higher-order logic

model-finding sat cvc4 higher-order logic proof-assistant isabelle hol

OCaml Updated Jan 29, 2019

adyavanapalli / Stanford-Introduction-to-Mathematical-Thinking

26

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

logic mathematical-thinking mathematical-logic stanford coursera number-theory real-analysis

Updated May 30, 2017

graknlabs / graql

26

Graql: Grakn's Reasoning and Analytics Query Language

graql grakn reasoning analytics query-language query inference logic database

Java Updated May 29, 2019

sreahw / schuller-geometric

25

Source code for lecture notes

logic notes truth axioms sets classification topology homotopy manifolds bundles lie curves physics geometry algebras dynkin

TeX Updated Jan 27, 2018

sys27 / xFunc

22

xFunc is a simple and easy to use application that allows you to build mathematical and logical expressions. It's wri…

lexer parse c-sharp math truth-table graph mathematics logic analyzer derivative differentiation complex-numbers wpf

C# Updated May 25, 2019

bitkeks / theolog-ss2017

19

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und …

university german logic theoretical-computer-science lecture-notes

TeX Updated Jul 22, 2017

mrieppel / TruthTableGenerator

19

Generates truth tables for formulas of sentential logic

truth-table logic semantics javascript latex

JavaScript Updated Mar 2, 2018

logic

Repositories 455

Good first issues

Good first issues

Good first issues

Good first issues