Discover @ReidAtcheson Open Source projects

Reid Atcheson (@ReidAtcheson)

ReidAtcheson

Stars
30
Global Rank 491,990 (Top 17 %)
Followers 29
Following 25
Registered about 12 years ago
Most used languages

Rust
18.8 %

Julia
18.8 %

OCaml
18.8 %

Python
12.5 %

Coq 12.5 %

C++
12.5 %

C
6.3 %
Location 🇺🇸 United States
Country Total Rank 98,015
Country Ranking

Coq 174

OCaml
433

Julia
565

Rust
5,388

numaallocator

Simple C++11 and beyond allocator to control

laplace_screencast

AbstractNumericalLinear

Playing with Ocaml

OCCA.jl

Julia interface into OCCA.

FrameworkFramework

Open and universal plugin-based, event driven framework for code-as-data style programming.

RaggedArrays.jl

Ragged arrays in Julia

GaussKronrodML

Preliminary Gauss-Kronrod quadrature in Ocaml.

sparse_qr_rust

Simple nested-dissection based sparse QR factorization in Rust

constructive_analysis

Coq formalization of some constructive real analysis.

GenericComplexML

Complex numbers with generic representation.

float_experiment

Modelling loss of associativity in floating point arithmetic

gmshreader

Gmesh file format reader written in C. Uses flex and bison.

Constructive-real-numbers

Trying to understand computable real analysis

splitting_method_limits

Randomly sampling matrix splittings and finding distribution of preconditioner quality (EXPERIMENTAL)

generalized_arnoldi

generalized arnoldi factorization (EXPERIMENTAL)

dense_qr

Householder dense QR - testing

dissectionqr

Nested Dissection based sparse QR Factorization using Rust