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
Constructive-real-numbers
Trying to understand computable real analysis
constructive_analysis
Coq formalization of some constructive real analysis.
dense_qr
Householder dense QR - testing
FrameworkFramework
Open and universal plugin-based, event driven framework for code-as-data style programming.
laplace_screencast
numaallocator
Simple C++11 and beyond allocator to control
OCCA.jl
Julia interface into OCCA.
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/laplace_screencast
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_analysis
Coq formalization of some constructive real analysis.
ReidAtcheson/GenericComplexML
Complex numbers with generic representation.
ReidAtcheson/gmshreader
Gmesh file format reader written in C. Uses flex and bison.
ReidAtcheson/RaggedArrays.jl
Ragged arrays in Julia
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/matrixml
Experimental matrix dsl in ocaml
ReidAtcheson/METADATA.jl
Metadata for registered Julia packages.
ReidAtcheson/nonnegative_trick
julia code for nonnegative trick
ReidAtcheson/OCCA2
OCCA 2.0: extensible multi-threading programming API. See web-site:
ReidAtcheson/OCCAHelpers.jl
A simple Julia module to automate some repetitive tasks in OCCA.
ReidAtcheson/OrthogonalPolynomials.jl
Orthogonal polynomials in Julia.
ReidAtcheson/ParameterSpaces
Convenience type for sampling from or iterating over a list of parameter spaces
ReidAtcheson/tmatrix
ReidAtcheson/tovtk
Short C library for managing unstructured mesh data in VTK format.
ReidAtcheson/untypedlambdaC
Implementation of untyped lambda calculus in C for educational purposes.
ReidAtcheson/vectorhaskell
Simple vector expression language.
ReidAtcheson/weaky
A very weak wiki system for very weak needs.