Alternatives and similar repositories for IoPLMaterials:

Users that are interested in IoPLMaterials are comparing it to the libraries listed below

• aigarashi / PL-LectureNotes
  ☆54Updated 5 years ago
• asciidwango / parser_book
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆116Updated 2 weeks ago
• nushio3 / learn-haskell
  ☆164Updated 9 years ago
• fetburner / sumiilab-tex
  東北大学 住井研究室のステキな TeX ファイルたち
  ☆36Updated 4 years ago
• haskell-jp / makeMistakesToLearnHaskell
  Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門
  ☆83Updated this week
• starpos / develop-transaction-system
  Source code of the book "Develop A Transaction System" (in Japanese).
  ☆187Updated last year
• eliza0x / cotton
  compiler, llvm
  ☆36Updated 6 years ago
• camlspotter / ocaml-zippy-tutorial-in-japanese
  OCaml の日本語での情報
  ☆94Updated 6 years ago
• nikosai / lambda-friends
  Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」
  ☆27Updated 11 months ago
• shiatsumat / wiwinwlh-jp
  What I Wish I Knew When Learning Haskell 日本語訳
  ☆115Updated 8 years ago
• karino2 / c-lesson
  karino2の暇つぶしプログラム教室のC言語を教えるのに使うgithub pageのレポジトリです。
  ☆50Updated 7 months ago
• nyuichi / satysfi-base
  complementary collection of useful functions and modules for SATySFi
  ☆31Updated 11 months ago
• harukamm / ocaml-blockly
  OCaml visual programming editor based on Blockly.
  ☆63Updated 5 years ago
• ytakano / rust_zero
  ☆115Updated 4 months ago
• tttmmmyyyy / fixlang
  ☆79Updated this week
• rust-lang-ja / atcoder-rust-base
  A Cargo package template for AtCoder competitions / AtCoder競技向けのCargoパッケージテンプレート
  ☆85Updated last year
• rust-lang-ja / atcoder-rust-resources
  AtCoderコンテストにRustで参加するための資料集
  ☆128Updated 4 years ago
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago
• kazu-yamamoto / recursion-drill
  Drill to study recursive programming in Haskell
  ☆126Updated 9 months ago
• tatsumack / 30nichideosjisaku
  『30日でできる！ OS自作入門』のmacOS開発環境構築
  ☆83Updated 5 years ago
• nanikamado / cotton
  A programming language
  ☆70Updated last year
• yuma-mizuno / lean-math-workshop
  数学系のためのLean勉強会
  ☆78Updated 8 months ago
• todokr / simple-http-server
  Simple HTTP Servers written in Java, Scala & Clojure.
  ☆39Updated 2 years ago
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆137Updated 3 weeks ago
• na4zagin3 / satyrographos
  Package manager for SATySFi
  ☆45Updated last year
• monaqa / slydifi
  Create a slide with SATySFi!
  ☆55Updated 2 years ago
• osdev-jp / osdev-jp.github.io
  ☆166Updated 2 weeks ago
• EzoeRyou / posix-commands
  POSIXコマンドについてのコラム
  ☆166Updated 3 years ago
• msakuta / rustack
  A very simple stack based language interpreter in Rust
  ☆63Updated 2 months ago
• uchan-nos / opela
  Operating and Language processing system
  ☆26Updated 3 years ago