8 projects
gambatools
A library for formal language education. It contains support for DFAs, NFAs, PDAs, Turing machines, context free grammars and regular expressions.
nerva-sympy
An implementation of multilayer perceptrons in SymPy.
nerva-tensorflow
An implementation of multilayer perceptrons in Tensorflow.
nerva-torch
An implementation of multilayer perceptrons in PyTorch.
nerva-numpy
An implementation of multilayer perceptrons in NumPy.
nerva-jax
An implementation of multilayer perceptrons in JAX.
CONEstrip
An implementation of the CONEstrip algorithms using python and z3.
nerva
A stub for the Nerva neural network package