90 Open source projects that are alternatives of or similar to Nalu

Logic Circuits from the Juice library

Build and evaluate JsonLogic with React components

深度学习/人工智能/机器学习资料汇总(Deep Learning/Artificial Intelligent/Machine Learning) 持续更新……

Digital circuit learning platform

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

λΠ Programming Language Theory

StarCraft II Learning Environment

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

OpenNARS for Research 3.0+

An efficient graph solver for generating well-formed models

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

Reaver: Modular Deep Reinforcement Learning Framework. Focused on StarCraft II. Supports Gym, Atari, and MuJoCo.

A JavaScript propositional logic and resolution library

A digital logic designer and circuit simulator.

Fitch style proof constructor

Curated list of Prolog packages and resources

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

OpenAI Gym wrapper for the DeepMind Control Suite

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

Generative Query Network (GQN) in PyTorch as described in "Neural Scene Representation and Rendering"

Model finder for higher-order logic

Implementation of ews weight constraint mentioned in recent Deep Mind paper: http://www.pnas.org/content/early/2017/03/13/1611835114.full.pdf

Keras Implementation of Deepmind's WaveNet for Supervised Learning Tasks

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

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

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

The Flix Programming Language

SCAN: Learning Abstract Hierarchical Compositional Visual Concepts

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

Tensorflow Implementation of Relation Networks for the bAbI QA Task, detailed in "A Simple Neural Network Module for Relational Reasoning," [https://arxiv.org/abs/1706.01427] by Santoro et. al.

Tensorflow implementation of Gated Conditional Pixel Convolutional Neural Network

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

Implementing reinforcement-learning algorithms for pysc2 -environment

Haskell bindings for PicoSAT solver

A digital logic simulator

A simple implementation of MuZero algorithm for connect4 game

Reproducing MuJoCo benchmarks in a modern, commercial game /physics engine (Unity + PhysX).

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

Spriteworld: a flexible, configurable python-based reinforcement learning environment

INACTIVE: Move your mouse, generate code from flow chart

Allie: A UCI compliant chess engine

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

Learn Deep Reinforcement Learning in 60 days! Lectures & Code in Python. Reinforcement Learning + Deep Learning

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

Get started with Machine Learning in TensorFlow with a selection of good reads and implemented examples!

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

Congratulation to DeepMind! This is a reengineering implementation (on behalf of many other git repo in /support/) of DeepMind's Oct19th publication: [Mastering the Game of Go without Human Knowledge]. The supervised learning approach is more practical for individuals. (This repository has single purpose of education only)

A symbolic model checker for Dynamic Epistemic Logic.

LoMRF is an open-source implementation of Markov Logic Networks

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

[INACTIVE] A collection of various machine learning solver. The library is an object-oriented approach (baked with Typescript) and tries to deliver simplified interfaces that make using the algorithms pretty simple.

A Repository with C++ implementations of Reinforcement Learning Algorithms (Pytorch)

Final Year Masters Project: modal logic solver tableaux

AlphaZero implementation for Othello, Connect-Four and Tic-Tac-Toe based on "Mastering the game of Go without human knowledge" and "Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm" by DeepMind.

Tensorflow Implementation of PathNet: Evolution Channels Gradient Descent in Super Neural Networks

Pre-trained NFNets with 99% of the accuracy of the official paper "High-Performance Large-Scale Image Recognition Without Normalization".

Deepmind Recurrent Environment Simulators paper implementation in tensorflow

StarCraft II - pysc2 Deep Reinforcement Learning Examples

Functional relational programming for Clojure(Script).