This is stars and forks stats for /kuis-isle3sw/IoPLMaterials repository. As of 05 May, 2024 this repository has 156 stars and 27 forks.
{% include head.html %} 京都大学工学部専門科目「プログラミング言語処理系」講義資料 講義 Web ページはこちらです. お知らせ 4月1日: 2023年度版ページにしました. 学習の仕方 計算機科学コースの学生には講義中に別途やり方を指示します.(実験3SWもやるので.) この講義資料の GitHub のページからリポジトリを clone しましょう. OCaml が使えるように環境を設定しましょう. 落ちてきたソースコード中の textbook/interpreter/ ディレクトリの中にインタプリタのソースコードが入っているので,duneコマンドでビルドしましょう. 教科書を読みながらもりもり演習問題を解きましょう. 教科書にバグを見つけたら issue で報告しましょう. 講義の履修者は講義用 Slack で質問してもよいですね. プログラミング言語強者になりましょう.そのためには... なにか自分で言語を作って処理系を作ってみましょう.作った処理系を自慢しましょう.世界中で自作の言語が使われるようになったらいいですね. もしくは,プログラミング言語理論やプログラム検証を勉強してみましょう. TODO:...
{% include head.html %} 京都大学工学部専門科目「プログラミング言語処理系」講義資料 講義 Web ページはこちらです. お知らせ 4月1日: 2023年度版ページにしました. 学習の仕方 計算機科学コースの学生には講義中に別途やり方を指示します.(実験3SWもやるので.) この講義資料の GitHub のページからリポジトリを clone しましょう. OCaml が使えるように環境を設定しましょう. 落ちてきたソースコード中の textbook/interpreter/ ディレクトリの中にインタプリタのソースコードが入っているので,duneコマンドでビルドしましょう. 教科書を読みながらもりもり演習問題を解きましょう. 教科書にバグを見つけたら issue で報告しましょう. 講義の履修者は講義用 Slack で質問してもよいですね. プログラミング言語強者になりましょう.そのためには... なにか自分で言語を作って処理系を作ってみましょう.作った処理系を自慢しましょう.世界中で自作の言語が使われるようになったらいいですね. もしくは,プログラミング言語理論やプログラム検証を勉強してみましょう. TODO:...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
returntocorp/semgrep-interfaces | OCamlPythonTypeScript | 11 | 0 | 5 | 0 |
Tarrasch/zsh-autoenv | PerlShellMakefile | 652 | +1 | 27 | 0 |
thesourcerer8/altium2kicad | PerlOther | 773 | +2 | 150 | 0 |
linuxhw/hw-probe | PerlOther | 636 | 0 | 63 | 0 |
oetiker/SmokePing | PerlJavaScriptCSS | 1.1k | +3 | 171 | +1 |
thomashoneyman/purescript-halogen-realworld | PureScriptOther | 765 | 0 | 86 | 0 |
purescript-contrib/purescript-formatters | PureScriptOther | 41 | 0 | 29 | 0 |
autowarefoundation/autoware.universe | C++PythonCMake | 580 | +5 | 385 | +1 |
Snapchat/KeyDB | C++CTcl | 8k | 0 | 471 | 0 |
BehaviorTree/BehaviorTree.CPP | C++CMakeOther | 2.3k | 0 | 566 | 0 |