Skip to content
View Chris00's full-sized avatar
136 followers · 30 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@ocaml @biocaml @University-of-Mons

Block or report Chris00

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Chris00/README.md

My interests are:

  • Qualitative properties of elliptic partial differential equations;
  • Computer assisted proofs (particularly in Mathematical Analysis);
  • Scientific programming;
  • Functional programming and type systems.

Pinned Loading

  1. rust-root1d rust-root1d Public

    One dimensional root finding algorithms

    Rust 6 1

  2. rust-sundials rust-sundials Public

    High level bindings to the Sundials library for Rust

    Rust 4

  3. rust-matplotlib rust-matplotlib Public

    A Rust interface to Matplotlib (with PyO3)

    Rust 3 1

  4. rust-curve-sampling rust-curve-sampling Public

    Adaptive sampling of parametric curves (including graph of functions)

    Rust 1