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