Alternatives and similar repositories for rigorous_numerics_tutorial_julia

Users that are interested in rigorous_numerics_tutorial_julia are comparing it to the libraries listed below

• akio-tomiya / intro_julia_minimum
  This is a short introduction of Julia language. This is in English and Japanese.
  ☆14Updated 7 months ago
• mvnb-research / mvnb
  A Notebook Environment for Safe and Efficient Exploration
  ☆14Updated last year
• ricosjp / allgebra
  Base container for developing C++ and Fortran HPC applications
  ☆18Updated 2 years ago
• sile / hone
  A shell-friendly hyperparameter search tool inspired by Optuna
  ☆18Updated 5 months ago
• tatsuya-takahashi / citation-viewer
  ☆9Updated 4 years ago
• abap34 / JITrench.jl
  [wip] Lightweight Automatic Differentiation & DeepLearning Framework implemented in pure Julia.
  ☆31Updated last year
• abap34 / DeepShiba.jl
  ☆9Updated 4 years ago
• formura / formura
  Describe stencil formurae without even translating them
  ☆16Updated 5 years ago
• cometscome / QM
  In Japanese. Juliaで学ぶ量子力学
  ☆69Updated 5 years ago
• akio-tomiya / julia_in_physics
  ☆18Updated 3 years ago
• kn1cht / doctor-funding-calendar
  Calendar of doctoral students funding programs
  ☆12Updated 3 months ago
• mil-tokyo / wgpy
  WebGPU/WebGL accelerated numpy-compatible array library for web browser
  ☆35Updated 3 months ago
• maruyama097 / coq-tutorial
  coq-tutorial
  ☆16Updated 5 years ago
• qnighy / logic-solver-rs
  ☆45Updated 2 years ago
• termoshtt / einsum-derive
  Proc-macro based einsum implementation for rust-ndarray
  ☆32Updated last year
• TsuyoshiOkubo / Introduction-to-Tensor-Network
  ☆27Updated last week
• hhatto / cargo-strict
  avoid unwrap() method
  ☆19Updated last year
• hamukazu / math_figures
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆23Updated last year
• SuikouK / 2D-FD
  非圧縮性ナビエストークス方程式(2次元)を解くプログラム
  ☆14Updated last year
• sammy-suyama / JuliaBayesBook
  ☆18Updated 3 years ago
• puripuri2100 / mdbook-satysfi
  A mdbook backend for generating SATySFi documents.
  ☆18Updated 2 years ago
• konn / qualified_do
  ☆20Updated 4 months ago
• onion-lang / onion
  Onion - statically typed object-oriented programming language
  ☆27Updated last week
• compneuro-julia / compneuro-julia-management
  https://compneuro-julia.github.io/
  ☆27Updated last week
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆47Updated 2 months ago
• kenkoooo / optpy
  optpy is a transpiler to generate a Rust file from a Python file
  ☆26Updated 2 years ago
• rigetti / DiscretePDEs.jl
  Partial differential equations using Discrete Exterior Calculus
  ☆15Updated 5 years ago
• genkuroki / Calculus
  Elementary Calculus
  ☆33Updated last year
• termoshtt / sevendayshpc.rs
  WIP: 一週間でなれる！スパコンプログラマ Rust版
  ☆25Updated 4 years ago
• aigarashi / copl-tools
  tools for the book "Concepts of Programming Languages"
  ☆19Updated 4 years ago