unaoya / math_pdf
☆16Updated 4 years ago
Alternatives and similar repositories for math_pdf:
Users that are interested in math_pdf are comparing it to the libraries listed below
- Drill to study recursive programming in Haskell☆126Updated 10 months ago
- ☆164Updated 9 years ago
- OCaml の日本語での情報☆94Updated 6 years ago
- karino2の暇つぶしプログラム教室のC言語を教えるのに使うgithub pageのレポジトリです。☆50Updated 8 months ago
- Materials for the class "Implementation of Programming Languages" in Kyoto University.☆162Updated last month
- 2015年度後期 計算機科学第一 講義☆13Updated 9 years ago
- What I Wish I Knew When Learning Haskell 日本語訳☆115Updated 8 years ago
- ☆54Updated 5 years ago
- 『みんなのデータ構造』正誤情報 https://www.lambdanote.com/collections/custom-collection☆12Updated 6 years ago
- 「すごいHaskell楽しく学ぼう!」の社内勉強会のために作成した、章末ごとの演習問題集です。☆39Updated 9 years ago
- 久保先生の 本「データ解析のための統計データモデリング」のRコードをpythonで。☆28Updated 11 years ago
- Materials for category theory seminar☆28Updated last year
- 機械学習分科会 for TSG2014 winter☆95Updated 10 years ago
- Simple HTTP Servers written in Java, Scala & Clojure.☆39Updated 3 years ago
- Japanese translation of "The Architecture of Open Source Applications"☆106Updated 9 years ago
- 数学系のためのLean勉強会☆78Updated 8 months ago
- ☆31Updated 8 years ago
- 東北大学 住井研究室のステキな TeX ファイルたち☆36Updated 4 years ago
- Translations☆39Updated 10 years ago
- SoftwareFoundations(Ja)☆71Updated 5 years ago
- complementary collection of useful functions and modules for SATySFi☆31Updated last year
- Klassic is A Programming Language which enables Object-Functional Programming☆85Updated 2 months ago
- 株式会社HERPのエンジニア向け採用資料☆76Updated last month
- 『分散システムデザインパターン』サンプルコードと設定ファイル☆11Updated 5 years ago
- Go implementation of data structures in Open Data Structures (ODS)☆78Updated 5 years ago
- 五十嵐淳 著『プログラミング言語の基礎概念』☆10Updated 9 years ago
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆28Updated last year
- オライリー・ジャパン「Kubernetes で実践するクラウドネイティブ DevOps」に付属するサンプルコード☆29Updated 5 years ago
- Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門☆83Updated this week
- Web site for book on "Neural Networks and Deep Learning"☆126Updated 5 years ago