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

• mvnb-research / mvnb
  A Notebook Environment for Safe and Efficient Exploration
  ☆14Updated last year
• akio-tomiya / intro_julia_minimum
  This is a short introduction of Julia language. This is in English and Japanese.
  ☆14Updated 5 months ago
• abap34 / JITrench.jl
  [wip] Lightweight Automatic Differentiation & DeepLearning Framework implemented in pure Julia.
  ☆31Updated last year
• sammy-suyama / JuliaBayesBook
  ☆18Updated 3 years ago
• qnighy / logic-solver-rs
  ☆45Updated 2 years ago
• akio-tomiya / julia_in_physics
  ☆18Updated 3 years ago
• JuliaStrings / TinySegmenter.jl
  Julia version of TinySegmenter, compact Japanese tokenizer
  ☆21Updated 4 years ago
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆46Updated last week
• sile / hone
  A shell-friendly hyperparameter search tool inspired by Optuna
  ☆18Updated 3 months ago
• cometscome / QM
  In Japanese. Juliaで学ぶ量子力学
  ☆68Updated 5 years ago
• tatsuya-takahashi / citation-viewer
  ☆10Updated 4 years ago
• onion-lang / onion
  Onion - statically typed object-oriented programming language
  ☆26Updated 3 months ago
• abap34 / DeepShiba.jl
  ☆9Updated 4 years ago
• hamukazu / math_figures
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆23Updated last year
• oreilly-japan / julia-programming-cookbook
  ☆37Updated last year
• terasakisatoshi / MathSeminar.jl
  Topics in several mathematics using Julialang
  ☆14Updated last year
• genkuroki / Calculus
  Elementary Calculus
  ☆33Updated 10 months ago
• pocarist / hminfer-rust
  ☆11Updated 7 years ago
• compneuro-julia / compneuro-julia-management
  https://compneuro-julia.github.io/
  ☆25Updated this week
• yamaguchi1024 / mc-lang-1
  セキュリティミニキャンプ2019山梨 MC言語講義
  ☆19Updated 4 years ago
• fetburner / sumiilab-tex
  東北大学 住井研究室のステキな TeX ファイルたち
  ☆36Updated 4 years ago
• konn / qualified_do
  ☆17Updated 2 months ago
• terasakisatoshi / MyWorkflow.jl
  For those who want to try Julia
  ☆47Updated 2 years ago
• SuikouK / 2D-FD
  非圧縮性ナビエストークス方程式(2次元)を解くプログラム
  ☆14Updated last year
• okdshin / flatline_lsp
  Github Copilot-like LSP code completion server with local LLM powered by llama.cpp
  ☆21Updated last year
• chezou / MeCab.jl
  Julia binding of Japanese morphological analyzer MeCab
  ☆21Updated 6 years ago
• Fadis / slce
  Standard Library Concepts Emulation
  ☆14Updated 4 years ago
• oreilly-japan / OpenEndedCodebook
  ☆12Updated last year
• yabaitechtokyo / satysfi-derive
  SATySFi commands and DSL for displaying derivation trees with maintainable code
  ☆11Updated 4 years ago
• adamwespiser / variational-autoencoders
  Experiments with variational autoencoders in Julia
  ☆16Updated 5 years ago