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