published Published over 2 years ago
OTTO: A Python package to simulate, solve and visualize the source-tracking POMDP
Python
published Published over 2 years ago
gym-saturation: an OpenAI Gym environment for saturation provers
Python OpenEdge ABL
published Published over 2 years ago
LaplaceInterpolation.jl: A Julia package for fast interpolation on a grid
Jupyter Notebook Julia Python
published Published about 3 years ago
OGRe: An Object-Oriented General Relativity Package for Mathematica
Mathematica
published Published about 3 years ago
SummationByPartsOperators.jl: A Julia library of provably stable discretization techniques with mimetic properties
Julia Jupyter Notebook
published Published over 3 years ago
sboxgates: A program for finding low gate count implementations of S-boxes
C C++
published Published over 3 years ago
ParaMonte: A high-performance serial/parallel Monte Carlo simulation library for C, C++, Fortran
Python Fortran
published Published almost 4 years ago
NodePy: A package for the analysis of numerical ODE solvers
Python
published Published almost 4 years ago
Multitaper.jl: A Julia package for frequency domain analysis of time series
Julia
published Published almost 4 years ago