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 8 months ago
• mvnb-research / mvnb
  A Notebook Environment for Safe and Efficient Exploration
  ☆14Updated 2 years ago
• mil-tokyo / wgpy
  WebGPU/WebGL accelerated numpy-compatible array library for web browser
  ☆38Updated 4 months ago
• qnighy / logic-solver-rs
  ☆45Updated 2 years ago
• akio-tomiya / julia_in_physics
  ☆18Updated 3 years ago
• abap34 / JITrench.jl
  [wip] Lightweight Automatic Differentiation & DeepLearning Framework implemented in pure Julia.
  ☆31Updated last year
• sammy-suyama / JuliaBayesBook
  ☆18Updated 3 years ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 4 years ago
• ricosjp / allgebra
  Base container for developing C++ and Fortran HPC applications
  ☆18Updated 3 years ago
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆48Updated 3 months ago
• nekketsuuu / satysfi-matrix
  Math matrix library for SATySFi
  ☆15Updated 5 years ago
• fetburner / sumiilab-tex
  東北大学 住井研究室のステキな TeX ファイルたち
  ☆37Updated 4 years ago
• hamukazu / math_figures
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆24Updated last year
• tatsuya-takahashi / citation-viewer
  ☆9Updated 4 years ago
• abap34 / DeepShiba.jl
  ☆9Updated 4 years ago
• JuliaStrings / TinySegmenter.jl
  Julia version of TinySegmenter, compact Japanese tokenizer
  ☆21Updated 4 years ago
• puripuri2100 / mdbook-satysfi
  A mdbook backend for generating SATySFi documents.
  ☆18Updated 2 years ago
• Jij-Inc / ommx
  Open standard for mathematical programming interoperability
  ☆40Updated this week
• onion-lang / onion
  Onion - statically typed object-oriented programming language
  ☆27Updated last month
• ushitora-anqou / qash
  A programming language for double-entry accounting, inspired by Beancount.
  ☆17Updated 2 weeks ago
• cometscome / QM
  In Japanese. Juliaで学ぶ量子力学
  ☆69Updated 5 years ago
• faber-lang / faber
  functional programming language and its compiler
  ☆18Updated 5 years ago
• kn1cht / doctor-funding-calendar
  Calendar of doctoral students funding programs
  ☆12Updated 4 months ago
• oreilly-japan / julia-programming-cookbook
  ☆38Updated 2 years ago
• optuna / bboc-optuna-developers
  Black-box optimizer submitted to BBO challenge at NeurIPS 2020
  ☆14Updated 4 years ago
• dwango / fialyzer
  [WIP] Faster Implementation of Dialyzer
  ☆56Updated last year
• okdshin / flatline_lsp
  Github Copilot-like LSP code completion server with local LLM powered by llama.cpp
  ☆21Updated last year
• kearch / kearch
  Distributed search engine
  ☆56Updated 6 years ago
• wadayama / DU-Book
  For samples codes of the deep unfolding book.
  ☆16Updated this week
• ToruNiina / separo-rs
  An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.
  ☆18Updated 4 years ago