A symbolic model checker for the NTCC calculus

Symbolic music tokenized datasets to train DL sequence models

Limitless programming language

A symbolic unifier written in C++

Code for our paper "Embedding Symbolic Knowledge into Deep Networks" (NeurIPS, 2019)

QSym² - a Rust program for Quantum Symbolic Symmetry. This is only a mirror. Please visit the main repository on GitLab. Documentation at https://qsym2.dev.

Symbolic calculator developed from scratch

Get all symbolic link (file symlinks) using glob

Library to validate symbolic and octal modes used by unix chmod program

🧮 Polynomial Calculator

balance between elements

Symbolic verification of Bitcoin's output scripts

fenix scorpio lion sunday flare uranus venus water trine courage raven defend rosette

olli-scripts: Dieter (Olli) Egger's REDUCE/Symbolic scripts, used as demonstrations for Symbolic (as shown in the screenshots on Google Play), and relating to Dieter's research in curved space-time, with scientific background papers, automatically mirrored from https://reduce-algebra.sourceforge.io/tutorials/EggerScripts.en.php

A dedicated repository for learning and researching about neuro-symbolic artificial intelligence (NSAI)

MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs

A Python library designed for the representation and manipulation of multivariate polynomial matrices.

Help you easily move the installation directory of the software!

27º 3:33pm