Math textbook. Trial for social textbook writing.
☆21Feb 8, 2015Updated 11 years ago
Alternatives and similar repositories for math-textbook
Users that are interested in math-textbook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- Arrow based stream transducer☆20Jun 21, 2020Updated 6 years ago
- High-level "danmaku" expressions☆13Sep 27, 2012Updated 14 years ago
- functional programming language 2☆10Jul 18, 2013Updated 13 years ago
- Most powerful orm in Android platform☆10Jan 16, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆29Aug 29, 2019Updated 7 years ago
- 機械学習名古屋勉強会 研究会用リポジトリ☆26Updated this week
- Pseudo-3D first-person shooter written in AWK☆12Dec 20, 2024Updated last year
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- WebSQL adapter for Backbone with promise support☆12Mar 31, 2014Updated 12 years ago
- Quine Advent Calendar 2014☆10Sep 16, 2015Updated 11 years ago
- A tool for editing files according to the rules of a provided Turing Machine☆31Aug 6, 2025Updated last year
- Super casual memory leak checker for Android.☆10May 15, 2014Updated 12 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Aug 13, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Quantum Computer Simulator☆23Jan 9, 2023Updated 3 years ago
- ☆11Mar 9, 2017Updated 9 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- ☆18Apr 28, 2016Updated 10 years ago
- 【公開終了】KnockoutJS の非公式日本語ドキュメントです。サイトは公開終了しておりますが、内容はこちらのリポジトリで確認いただけます。☆23Apr 25, 2015Updated 11 years ago
- TEIガイドラインへの準拠の仕方を日本語で解説します。☆12Feb 15, 2021Updated 5 years ago
- ChatGPTをLINE botで触るハンズオン☆18Jun 28, 2023Updated 3 years ago
- Emacs Lisp Reference Manual 日本語版☆11Apr 25, 2015Updated 11 years ago
- Cloud Haskell - gen_server implementation☆13Sep 3, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- For Publishing ScalaJS Package to npm☆14Sep 25, 2026Updated last month
- An example of how to implement a basic notepad with wxHaskell☆12Jul 19, 2010Updated 16 years ago
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- Support for linguistics-style examples in Org mode☆10Dec 9, 2022Updated 3 years ago
- ☆17Jan 14, 2014Updated 12 years ago
- Qgate, Quntum circuit simulator☆31Oct 8, 2020Updated 6 years ago
- Create dynamic HTML easy in the browser using declarative notation☆21Aug 28, 2020Updated 6 years ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 5 years ago
- A wrapper Vim plugin for OCamlSpotter written in pure Vim Script.☆12May 2, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- GitHub Action for the OCaml programming language☆18May 25, 2021Updated 5 years ago
- Math matrix library for SATySFi☆16Oct 15, 2019Updated 7 years ago
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 7 years ago
- Canna Japanese input system☆15Sep 27, 2026Updated last month
- The new home of OMake - docs, downloads, mailing list etc. see:☆69Oct 23, 2026Updated last week
- Androidを支える技術のサポートページです。☆47Jan 4, 2018Updated 8 years ago
- SATySFi's package☆13Sep 11, 2019Updated 7 years ago