ksuenaga/winskel-textbook-jp 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

ksuenaga/winskel-textbook-jp

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/ksuenaga/winskel-textbook-jp)

Close

ksuenaga / winskel-textbook-jpView on GitHubMore

• External links
• Readme badge

Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト

☆11May 8, 2024Updated 2 years ago

Alternatives and similar repositories for winskel-textbook-jp

Users that are interested in winskel-textbook-jp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• kenichi-asai / Universe

  View on GitHub
  The Universe Library for OCaml
  ☆14Dec 30, 2018Updated 7 years ago
• terasakisatoshi / MathSeminar.jl

  View on GitHub
  Topics in several mathematics using Julialang
  ☆14Jul 4, 2023Updated 3 years ago
• gsakkas / rite

  View on GitHub
  Type Error Feedback via Analytic Program Repair
  ☆16Mar 25, 2023Updated 3 years ago
• hephaestus-pl / coqfj

  View on GitHub
  A mechanized proof of type safety for Featherweight Java using Coq
  ☆16Aug 4, 2018Updated 8 years ago
• tokoharu / shogi_addon_for_Anki

  View on GitHub
  Anki向け将棋局面ビジュアライザ
  ☆13May 25, 2020Updated 6 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• CommCompEngKyotoU / kuisthesis-template

  View on GitHub
  ☆12Jan 31, 2026Updated 8 months ago
• pouhon / obsidian-quick-start-guide

  View on GitHub
  ☆11Aug 25, 2021Updated 5 years ago
• mitsuchi / ron

  View on GitHub
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆17Nov 17, 2025Updated 11 months ago
• takahiroanno / ai-law-refactoring

  View on GitHub
  AIで法律をリファクタリングする: 概念ベースで洗い出したアナログ規制の改正候補87件と、法体系のDRY化（共通法モジュール31種）
  ☆21Oct 5, 2026Updated 3 weeks ago
• monaqa / satysfi-azmath

  View on GitHub
  A SATySFi package containing A-to-Z mathematical commands.
  ☆16Oct 10, 2022Updated 4 years ago
• ActiveTK / SSLS

  View on GitHub
  = Super Secure Login System․
  ☆11May 6, 2023Updated 3 years ago
• rowangithub / DOrder

  View on GitHub
  DOrder -- Automatically Learning Shape Specifications
  ☆20Jun 19, 2017Updated 9 years ago
• wantedly / intern-info

  View on GitHub
  Wantedlyのインターン情報や新卒採用についてのインフォメーションです
  ☆11Apr 5, 2022Updated 4 years ago
• januswel / ctest-gtest

  View on GitHub
  CTest with Google Test
  ☆10Jun 21, 2015Updated 11 years ago
• Open source password manager - Proton Pass • Ad
  Securely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
• tenntenn / mocknn

  View on GitHub
  mocknn is a mocking tool for Go program
  ☆13Jun 24, 2022Updated 4 years ago
• Vescrity / QBot_Jiemeng

  View on GitHub
  适配OneBot, C++开发的聊天机器人
  ☆10Dec 16, 2025Updated 10 months ago
• best-friends / mastodon

  View on GitHub
  Your self-hosted, globally interconnected microblogging community
  ☆13Feb 26, 2024Updated 2 years ago
• murbard / plebeia

  View on GitHub
  Optimized Patricia trie with disk storage
  ☆32Feb 21, 2019Updated 7 years ago
• k-ayaki / dvorakj_2023

  View on GitHub
  ☆13Apr 23, 2023Updated 3 years ago
• mikkame / mikkame

  View on GitHub
  ☆12Updated this week
• viperproject / gobra-ide

  View on GitHub
  VSCode Plugin for Gobra
  ☆11Updated this week
• MasterOfBinary / go-opencl

  View on GitHub
  ☆13May 25, 2024Updated 2 years ago
• Quorafind / Obsidian-Map-For-Note

  View on GitHub
  [UNMAINTAINED] A Map For Note
  ☆14Oct 8, 2022Updated 4 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• JetBrains-Research / rocqstar-agentic-system

  View on GitHub
  ☆15Nov 12, 2025Updated 11 months ago
• mathetake / intergo

  View on GitHub
  A package for interleaving / multileaving ranking generation in go
  ☆31Jul 18, 2019Updated 7 years ago
• YouyouCong / ppl-summer-school-2022

  View on GitHub
  ☆27Sep 29, 2022Updated 4 years ago
• stg-tud / MUDetect

  View on GitHub
  ☆26Oct 13, 2020Updated 6 years ago
• Z3Prover / z3test

  View on GitHub
  Test and benchmark repository for Z3.
  ☆27Oct 18, 2026Updated last week
• kura-lab / kuroobi-hands-on-2020

  View on GitHub
  Go言語で学ぶYahoo! ID連携の黒帯ハンズオン
  ☆12May 5, 2020Updated 6 years ago
• azu / textstat

  View on GitHub
  textstat is a statistics tool for text, markdown and html.
  ☆19May 24, 2025Updated last year
• niyaton / kenja

  View on GitHub
  Kenja repository
  ☆17Oct 29, 2021Updated 5 years ago
• aconite-ac / theorem_proving_in_lean4

  View on GitHub
  Theorem Proving in Lean 4 日本語訳
  ☆19Jan 11, 2025Updated last year
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• PCWcn / CCAligner

  View on GitHub
  ICSE 2018 paper implement
  ☆17Jan 8, 2019Updated 7 years ago
• auttaja / gommand

  View on GitHub
  A fast Discord command router and processor for Go.
  ☆24Jan 20, 2021Updated 5 years ago
• fushihara / abema-tvguide

  View on GitHub
  ☆16Apr 30, 2016Updated 10 years ago
• koka-community / tree-sitter-koka

  View on GitHub
  Koka grammar for tree-sitter
  ☆19Feb 23, 2026Updated 8 months ago
• glotcode / glot-languages

  View on GitHub
  ☆26Sep 1, 2026Updated last month
• logica0419 / remote-bmi

  View on GitHub
  ISUCONの練習時に使えるベンチマーカーWebUI
  ☆14Jul 4, 2025Updated last year
• DeepSpec / sf

  View on GitHub
  ☆16Aug 12, 2026Updated 2 months ago