tak-lab / rigorous_numerics_tutorial_julia
A tutorial of rigorous numerics using the Julia language
☆8Updated last month
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
- This is a short introduction of Julia language. This is in English and Japanese.☆14Updated 3 months ago
- A Notebook Environment for Safe and Efficient Exploration☆14Updated last year
- Base container for developing C++ and Fortran HPC applications☆18Updated 2 years ago
- A shell-friendly hyperparameter search tool inspired by Optuna☆18Updated 2 months ago
- ☆18Updated 3 years ago
- [wip] Lightweight Automatic Differentiation & DeepLearning Framework implemented in pure Julia.☆31Updated last year
- ☆18Updated 3 years ago
- GPU移植のための実装例(直接法に基づくN体計算)☆13Updated last week
- ☆45Updated 2 years ago
- ☆9Updated 4 years ago
- ☆37Updated last year
- A mdbook backend for generating SATySFi documents.☆18Updated 2 years ago
- ☆10Updated 4 years ago
- 数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。☆22Updated last year
- ☆24Updated last week
- A programming language for double-entry accounting, inspired by Beancount.☆17Updated 2 months ago
- ☆27Updated last year
- Math matrix library for SATySFi☆15Updated 5 years ago
- In Japanese. Juliaで学ぶ量子力学☆68Updated 5 years ago
- ☆15Updated last month
- self-hosted compiler for a subset of OCaml☆51Updated 5 years ago
- https://compneuro-julia.github.io/☆25Updated last week
- The manuscript for The SATySFibook (1st edition for the Web)☆36Updated 6 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- 「にこ先輩といっしょに代数!」で使ったコードの実行可能な全文(`stack runghc`)☆13Updated 6 years ago
- IsoGCN code for ICLR2021☆49Updated 3 years ago
- 進捗大陸で使用されたSATySFiファイル☆12Updated last year
- WIP: 一週間でなれる!スパコンプログラマ Rust版☆25Updated 3 years ago