72 Open source projects that are alternatives of or similar to awesome-philosophy

Build and evaluate JsonLogic with React components

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

A digital logic simulator

Fitch style proof constructor

📚 Books everyone should read!

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.

TypeDB: a strongly-typed database

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

Solutions for the book "Language Proof and Logic".

Functional relational programming for Clojure(Script).

Logic Circuits from the Juice library

edited mirror of http://dhspriory.org/thomas/ , St. Thomas Aquinas's complete works (most bilingual, Latin-English)

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

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

A list of philosophy books and resources.

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

The Flix Programming Language

Model finder for higher-order logic

TypeDB: a strongly-typed database

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

OpenNARS for Research 3.0+

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Examples of not obvious behaviors for javascript beginner programmers

Dichotomy Tests provides interesting tests that show you how inclined you are toward certain philosophical, psychological or political views. Each test tries to discover your preferred beliefs and will attempt to accurately position you along numerous dichotomic axes.

An efficient graph solver for generating well-formed models

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

Curso de Ciência da Computação

LoMRF is an open-source implementation of Markov Logic Networks

Haskell bindings for PicoSAT solver

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

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

A digital logic designer and circuit simulator.

INACTIVE: Move your mouse, generate code from flow chart

Version 2 of my Crazy Small CPU

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

Final Year Masters Project: modal logic solver tableaux

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

ACL2 System and Books as Maintained by the Community

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

λΠ Programming Language Theory

A symbolic model checker for Dynamic Epistemic Logic.

A predictable state management library that helps implement the BLoC design pattern

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

Curated list of Prolog packages and resources

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

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

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

TypeQL: the query language of TypeDB - a strongly-typed database

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

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

Copy engineering rules!

📚Solutions to Language, Proof and Logic (2nd Edition)

Notes and ideas to remember when I am a leader

Digital circuit learning platform

In which prediction agents organize themselves through competition.

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

Move your mouse, generate code from flow chart

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

A JavaScript propositional logic and resolution library