145 Open source projects that are alternatives of or similar to illogical

A JavaScript propositional logic and resolution library

Build and evaluate JsonLogic with React components

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

Functional relational programming for Clojure(Script).

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

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

Fitch style proof constructor

Bash test framework comparison

TypeDB: a strongly-typed database

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.

OpenNARS for Research 3.0+

Solutions for the book "Language Proof and Logic".

A list of philosophy books and resources.

An efficient graph solver for generating well-formed models

Version 2 of my Crazy Small CPU

Logic Circuits from the Juice library

Examples of not obvious behaviors for javascript beginner programmers

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

🆚 🔥 Code comparison of modern web frameworks, based on React, Angular and Vue.js

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

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

Model finder for higher-order logic

TypeDB: a strongly-typed database

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

The Flix Programming Language

Curated list of Prolog packages and resources

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.

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

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

Unifying Variational Autoencoder (VAE) implementations in Pytorch (NeurIPS 2022)

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

ACL2 System and Books as Maintained by the Community

Digital circuit learning platform

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

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

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

Haskell bindings for PicoSAT solver

JtlReporter is an online application that allows users to generate beautiful, customizable and easy to understand performance reports from JMeter(Taurus), Locust, and other tools.

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

INACTIVE: Move your mouse, generate code from flow chart

A curated list of awesome philosophy

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

LoMRF is an open-source implementation of Markov Logic Networks

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

A sexy image comparison slider for React.

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

A digital logic designer and circuit simulator.

A symbolic model checker for Dynamic Epistemic Logic.

Realtime benchmarks for PHP code

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

Final Year Masters Project: modal logic solver tableaux

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

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

λΠ Programming Language Theory

Reactive state implementations (brainstorming)

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

A PowerShell Watch-Command cmdlet for repeatedly running a command or block of code until a change in the output occurs.

Move your mouse, generate code from flow chart

A digital logic simulator