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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• kuis-isle3sw / IoPLMaterials

  View on GitHub
  Materials for the class "Implementation of Programming Languages" in Kyoto University.
  ☆168Mar 2, 2026Updated 3 weeks 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
• ocaml-ppx / ocaml-syntax-shims

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

  View on GitHub
  Seamless vim register manipulation in :terminal buffer via terminal-api
  ☆11Mar 16, 2020Updated 6 years ago
• joisino / le3hw

  View on GitHub
  intel を越える
  ☆16Jun 4, 2017Updated 8 years ago
• primenumber / kazoeage-oneesan-cuda

  View on GitHub
  GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)
  ☆11Dec 3, 2021Updated 4 years ago
• tongson / taarr

  View on GitHub
  Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.
  ☆17Sep 7, 2025Updated 6 months ago
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover

  View on GitHub
  ☆19Jan 7, 2026Updated 2 months ago
• emonosuke / emoASR

  View on GitHub
  End-to-end MOdeling of ASR (Automatic Speech Recognition)
  ☆33Feb 16, 2023Updated 3 years ago
• haya14busa / vim-textobj-function-syntax

  View on GitHub
  heuristic syntax-based text-object for function
  ☆29Nov 25, 2016Updated 9 years ago
• japan-clojurians / curriculum

  View on GitHub
  ☆17Dec 17, 2015Updated 10 years ago
• pastak / vaccines-kyoto-city-faq

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

  View on GitHub
  Haskell -> Lazy K translator.
  ☆13Apr 5, 2014Updated 11 years ago
• haskell-jp / makeMistakesToLearnHaskell

  View on GitHub
  Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門
  ☆87Mar 15, 2026Updated last week
• szktty / starlight

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

  View on GitHub
  switch text with predefined replacements
  ☆14Dec 27, 2018Updated 7 years ago
• hatena / go-Intern-Diary

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

  View on GitHub
  Panchira is a parser gem for hentai websites.
  ☆26Feb 14, 2026Updated last month
• cannorin / nml

  View on GitHub
  Nazo ML - my toy programming language
  ☆59Aug 11, 2020Updated 5 years ago
• tagomoris / mysql2-cs-bind

  View on GitHub
  'mysql2' extension to add pseudo prepared statement
  ☆37Aug 23, 2021Updated 4 years ago
• naoki9911 / zig-vmm

  View on GitHub
  ☆17Mar 16, 2023Updated 3 years ago
• mattn / entgo-bbs

  View on GitHub
  ☆10May 17, 2022Updated 3 years ago
• gfngfn / SATySFi

  View on GitHub
  A statically-typed, functional typesetting system
  ☆1,243Dec 15, 2025Updated 3 months ago
• kuina / Kuin

  View on GitHub
  Kuin Programming Language
  ☆269Dec 30, 2025Updated 2 months ago
• deris / vim-popupiece

  View on GitHub
  popup text around tag, local decraration, etc
  ☆11Jun 23, 2019Updated 6 years ago
• matsumotory / mruby-simplehttpserver

  View on GitHub
  mruby-simplehttpserver is a HTTP Server with less dependency for mruby
  ☆28Jan 12, 2022Updated 4 years ago
• harukamm / ocaml-blockly

  View on GitHub
  OCaml visual programming editor based on Blockly.
  ☆66Apr 22, 2019Updated 6 years ago
• hiromi-mi / hanando-fukui

  View on GitHub
  Self-hosted Subset of C/C++ Compiler
  ☆12Jul 21, 2020Updated 5 years ago
• janestreet / memtrace

  View on GitHub
  Streaming client for OCaml's Memprof
  ☆74Jan 15, 2026Updated 2 months ago
• coord-e / mlml

  View on GitHub
  self-hosted compiler for a subset of OCaml
  ☆52Jun 12, 2019Updated 6 years ago
• ryo-manba / cron-visualizer

  View on GitHub
  Visualizing cron schedules.
  ☆14Jan 19, 2026Updated 2 months ago
• matsuu / oci-arm-isucon

  View on GitHub
  Oracle Cloudの無料枠でISUCON過去問を構築するTerraform一式
  ☆10May 2, 2022Updated 3 years ago
• kahei / parser_book

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

  View on GitHub
  A curated list of awesome things related to Haskell.
  ☆291Jan 2, 2022Updated 4 years ago
• sapristi / easy_logging

  View on GitHub
  Logging module for OCaml
  ☆11Aug 1, 2021Updated 4 years ago
• sdual / stanz

  View on GitHub
  🥟 Stanz is a scala library for purely functional Bayesian analysis.
  ☆10Aug 7, 2020Updated 5 years ago
• ShinyaKato / sk2cc

  View on GitHub
  Simple C compiler developed by @ShinyaKato
  ☆43Aug 24, 2019Updated 6 years ago
• jarrelscy / ColorCheckerDetector

  View on GitHub
  This python module implements a function 'findStandard' that takes an OpenCV RGB image and outputs a projection of a Macbeth 6x4 color ch…
  ☆13Jul 12, 2014Updated 11 years ago
• javaee / javahelp

  View on GitHub
  javahelp
  ☆15Jul 19, 2017Updated 8 years ago