ReidAtcheson
My repositories are mostly very quick experiments, most are private. To see curated and explained work visit my website.
Numerical Algorithms GroupDallas
Pinned Repositories
AbstractNumericalLinear
Playing with Ocaml
cg_revcom_cpp
Looking at reverse communication using std::generator in c++
FrameworkFramework
Open and universal plugin-based, event driven framework for code-as-data style programming.
Krylov-bits
little bits of useful krylov machinery in python, with an attempt to be compatible between numpy & cupy for GPU testing.
laplace_screencast
numaallocator
Simple C++11 and beyond allocator to control
OCCA.jl
Julia interface into OCCA.
simpletrace
An incredibly simple c++ tracing library. you probably don't want this.
sparse_qr_rust
A simple nested dissection based sparse qr factorization in rust
Start-Here
Who I am
ReidAtcheson's Repositories
ReidAtcheson/numaallocator
Simple C++11 and beyond allocator to control
ReidAtcheson/AbstractNumericalLinear
Playing with Ocaml
ReidAtcheson/FrameworkFramework
Open and universal plugin-based, event driven framework for code-as-data style programming.
ReidAtcheson/OCCA.jl
Julia interface into OCCA.
ReidAtcheson/Constructive-real-numbers
Trying to understand computable real analysis
ReidAtcheson/constructive_analysis
Coq formalization of some constructive real analysis.
ReidAtcheson/float_experiment
Modelling loss of associativity in floating point arithmetic
ReidAtcheson/GaussKronrodML
Preliminary Gauss-Kronrod quadrature in Ocaml.
ReidAtcheson/GenericComplexML
Complex numbers with generic representation.
ReidAtcheson/abstract-solvers
Abstract linear solvers, ODE solvers, and nonlinear solvers in Ocaml
ReidAtcheson/debruijn
Experimenting with functions associated with debruijn constant
ReidAtcheson/derivations
Some derivations I didn't want to keep rewriting
ReidAtcheson/dslml
Possible DSL approach in ocaml?
ReidAtcheson/EnumsInJulia
Example of how I implement enum datatypes in Julia
ReidAtcheson/FiniteDifferenceCoeffs
Finite difference coefficients of any order for any number of derivatives in any precision
ReidAtcheson/incns
Experimental spectral method for incompressible Navier Stokes
ReidAtcheson/integral
Black box integration routines for C++
ReidAtcheson/l1rrqr
L1-norm based rank-revealing factorization
ReidAtcheson/matrixml
Experimental matrix dsl in ocaml
ReidAtcheson/nonnegative_trick
julia code for nonnegative trick
ReidAtcheson/numerical_experiments_rust
Learning rust with numerical experimentation
ReidAtcheson/OCCAHelpers.jl
A simple Julia module to automate some repetitive tasks in OCCA.
ReidAtcheson/OrthogonalPolynomials.jl
Orthogonal polynomials in Julia.
ReidAtcheson/parameterized_matmul
Simple matrix-matrix multiply to test autotuning tools
ReidAtcheson/ParameterSpaces
Convenience type for sampling from or iterating over a list of parameter spaces
ReidAtcheson/rational_continuous
Exploring definition of continuity over rational numbers
ReidAtcheson/sqrt_proof
Proving Newton iteration for square-root works over rational numbers.
ReidAtcheson/trisolve_parallel
Test to see if BLAS triangular solve uses more than one core
ReidAtcheson/vectorhaskell
Simple vector expression language.
ReidAtcheson/weaky
A very weak wiki system for very weak needs.