aigarashi/PL-LectureNotes external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

aigarashi/PL-LectureNotes

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/aigarashi/PL-LectureNotes)

Close

aigarashi / PL-LectureNotesView on GitHubMore

• External links
• Readme badge

☆53Jan 17, 2020Updated 6 years ago

Alternatives and similar repositories for PL-LectureNotes

Users that are interested in PL-LectureNotes are comparing it to the libraries listed below

• kuis-isle3sw / IoPLMaterials

  View on GitHub
  Materials for the class "Implementation of Programming Languages" in Kyoto University.
  ☆168Oct 29, 2025Updated 4 months ago
• ocaml-ppx / ocaml-syntax-shims

  View on GitHub
  Backport new syntax to older compilers
  ☆14Dec 9, 2019Updated 6 years ago
• tyru / qfpopup.vim

  View on GitHub
  (EXPERIMENTAL) Deadly simple Vim plugin to pop up the error under cursor
  ☆13Aug 19, 2019Updated 6 years ago
• syngan / vim-clurin

  View on GitHub
  switch text with predefined replacements
  ☆14Dec 27, 2018Updated 7 years ago
• irori / hs2lazy

  View on GitHub
  Haskell -> Lazy K translator.
  ☆13Apr 5, 2014Updated 11 years ago
• tyru / tapi-reg.vim

  View on GitHub
  Seamless vim register manipulation in :terminal buffer via terminal-api
  ☆11Mar 16, 2020Updated 5 years ago
• CommCompEngKyotoU / kuisthesis-template

  View on GitHub
  ☆12Jan 31, 2026Updated last month
• yuneco / vite-kingyo

  View on GitHub
  ☆11Mar 5, 2023Updated 2 years ago
• haya14busa / vim-textobj-function-syntax

  View on GitHub
  heuristic syntax-based text-object for function
  ☆29Nov 25, 2016Updated 9 years ago
• ayato-p / clojure-beginner

  View on GitHub
  Clojure 初心者のためのドキュメント
  ☆48Oct 31, 2017Updated 8 years ago
• mizchi / modern-js-stack-example

  View on GitHub
  ☆11Mar 17, 2016Updated 9 years ago
• haskell-jp / makeMistakesToLearnHaskell

  View on GitHub
  Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門
  ☆87Feb 15, 2026Updated 2 weeks ago
• tyru / sync-term-cwd.vim

  View on GitHub
  Sync your shell's working directory with Vim
  ☆10Feb 1, 2021Updated 5 years ago
• camlspotter / ocaml-zippy-tutorial-in-japanese

  View on GitHub
  OCaml の日本語での情報
  ☆95Oct 3, 2018Updated 7 years ago
• pastak / vaccines-kyoto-city-faq

  View on GitHub
  https://vaccines-kyoto-city.jp/#faq をHTML化したものです
  ☆17May 31, 2021Updated 4 years ago
• tagomoris / mysql2-cs-bind

  View on GitHub
  'mysql2' extension to add pseudo prepared statement
  ☆37Aug 23, 2021Updated 4 years ago
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover

  View on GitHub
  ☆19Jan 7, 2026Updated last month
• japan-clojurians / curriculum

  View on GitHub
  ☆17Dec 17, 2015Updated 10 years ago
• szktty / starlight

  View on GitHub
  [WIP] Yet another Erlang implementation in Rust
  ☆33Feb 18, 2019Updated 7 years ago
• kuina / Kuin

  View on GitHub
  Kuin Programming Language
  ☆269Dec 30, 2025Updated 2 months ago
• harunobukameda / AWS-Fargate-for-Amazon-ECS

  View on GitHub
  ☆21Jun 29, 2021Updated 4 years ago
• QWYNG / green_day

  View on GitHub
  Green Day creates workspaces and tests for Atcoder contests
  ☆22Jan 31, 2026Updated last month
• mattn / asyncomplete-skk.vim

  View on GitHub
  ☆21Oct 21, 2020Updated 5 years ago
• lambdalisue / vital-Whisky

  View on GitHub
  vital.vim external module collection
  ☆28Mar 27, 2025Updated 11 months ago
• hajimehoshi / hitozuma

  View on GitHub
  Super IRC Bot Hitozuma (人妻)
  ☆12Mar 17, 2011Updated 14 years ago
• hatena / go-Intern-Diary

  View on GitHub
  はてなインターン2018 課題アプリケーションひな形
  ☆25Nov 28, 2023Updated 2 years ago
• gsa-gvpt / gvpt-methods

  View on GitHub
  ☆14Jun 30, 2025Updated 8 months ago
• harukamm / ocaml-blockly

  View on GitHub
  OCaml visual programming editor based on Blockly.
  ☆66Apr 22, 2019Updated 6 years ago
• trueroad / tr-NTTtech05

  View on GitHub
  NTT Tech Conference #5 Presentation 「PDFのコピペが文字化けするのはなぜか？～CID/GIDと原ノ味フォント～」関連資料
  ☆27May 28, 2021Updated 4 years ago
• kahei / parser_book

  View on GitHub
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆125Dec 3, 2025Updated 3 months ago
• janestreet / memtrace

  View on GitHub
  Streaming client for OCaml's Memprof
  ☆74Jan 15, 2026Updated last month
• nuita / panchira

  View on GitHub
  Panchira is a parser gem for hentai websites.
  ☆26Feb 14, 2026Updated 2 weeks ago
• KOBA789 / rust-reversi

  View on GitHub
  Cookpad Spring 1day Internship 2018 Rust プログラミングコースで使用された講義資料
  ☆31Apr 17, 2018Updated 7 years ago
• gfngfn / SATySFi

  View on GitHub
  A statically-typed, functional typesetting system
  ☆1,242Dec 15, 2025Updated 2 months ago
• d-tsuji / qiisync

  View on GitHub
  Qiita CLI tool, support push and pull from/to local filesystem and Qiita.
  ☆29Jan 24, 2021Updated 5 years ago
• yukitos / notes

  View on GitHub
  ☆111Jun 20, 2016Updated 9 years ago
• pocke / keycast.vim

  View on GitHub
  Display key strokes on Vim.
  ☆34Jul 9, 2019Updated 6 years ago
• skanehira / remonade

  View on GitHub
  Unofficial Nature Remo CLI
  ☆31Feb 23, 2026Updated last week
• ushitora-anqou / aqcc

  View on GitHub
  Yet another tiny tiny self-hosted C compiler, assembler, linker and standard C library.
  ☆197Jun 4, 2019Updated 6 years ago