Lunuy/agda-introduction-korean 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

Lunuy/agda-introduction-korean

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/Lunuy/agda-introduction-korean)

Close

Lunuy / agda-introduction-koreanView on GitHubMore

• External links
• Readme badge

수학 증명언어 Agda 입문

☆12May 2, 2023Updated 2 years ago

Alternatives and similar repositories for agda-introduction-korean

Users that are interested in agda-introduction-korean are comparing it to the libraries listed below

• 9beach / hanspell-hs

  View on GitHub
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Apr 22, 2023Updated 2 years ago
• utilForever / 2023-SICP-Rust

  View on GitHub
  2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition
  ☆10Jan 4, 2023Updated 3 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• haskell-kr / haskell-kr

  View on GitHub
  하스켈 모임 웹사이트 소스 코드
  ☆16Dec 8, 2021Updated 4 years ago
• tsoding / lazy

  View on GitHub
  Source code from my Lazy Evaluation video
  ☆18Aug 11, 2020Updated 5 years ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• The-World-Space / the-world-engine.ts

  View on GitHub
  three.js based, unity like game engine for browser
  ☆30Aug 4, 2023Updated 2 years ago
• CakeML / pure

  View on GitHub
  A verified compiler for a lazy functional language
  ☆39Updated this week
• snu-sf / promising-coq

  View on GitHub
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆43Updated this week
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 4 months ago
• sawa-zen / vrchat-mcp

  View on GitHub
  This project is a Model Context Protocol (MCP) server for interacting with the VRChat API.
  ☆56Feb 3, 2026Updated last month
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• Charlezz / FlickrExample

  View on GitHub
  컴포즈 스터디를 위한 저장소입니다.
  ☆10Feb 23, 2023Updated 3 years ago
• Redstone-Compiler / redstone-compiler

  View on GitHub
  Minecraft Redstone Compiler
  ☆14Feb 9, 2025Updated last year
• DouglasDwyer / wasm_sync

  View on GitHub
  Synchronization primitives for both web and native.
  ☆16Jan 19, 2024Updated 2 years ago
• FlyScala / ProgrammingScala

  View on GitHub
  ☆11Dec 21, 2016Updated 9 years ago
• lionhairdino / saekpen.nvim

  View on GitHub
  Colored pencil or highlighter to use in Neovim
  ☆10Feb 8, 2025Updated last year
• wordbricks / webcode

  View on GitHub
  🌐 WebCode: Claude Code in your web browser (without server!)
  ☆24Jul 31, 2025Updated 7 months ago
• swlaschin / TechTrain2021

  View on GitHub
  Railway oriented programming talk and code for TechTrain2021
  ☆11Mar 26, 2021Updated 4 years ago
• ExcelsiorCJH / CodingTheMatrix

  View on GitHub
  CodingTheMatrix Study
  ☆12Mar 30, 2018Updated 7 years ago
• tmscde / cuda-ts

  View on GitHub
  NVIDIA CUDA™ bindings exposed in TypeScript.
  ☆12Jan 3, 2023Updated 3 years ago
• Ciantic / rust-wasm-and-c

  View on GitHub
  ☆11Jun 16, 2022Updated 3 years ago
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Feb 9, 2026Updated last month
• BitReelCo / BJS-PR-Bounty-Pool

  View on GitHub
  Bounties in this pool are incentives for pushing BabylonJS forward for the benefit of our awesome and growing community!
  ☆15Apr 25, 2023Updated 2 years ago
• Heaust-ops / babylon-deferred-lights

  View on GitHub
  A deferred lighting solution for babylonjs
  ☆10Mar 16, 2025Updated 11 months ago
• appkr / pattern

  View on GitHub
  Design Pattern Reference
  ☆11Nov 5, 2024Updated last year
• thomashoneyman / writing

  View on GitHub
  Sources for my writing on thomashoneyman.com
  ☆16Oct 17, 2022Updated 3 years ago
• gilbutITbook / 006822

  View on GitHub
  3D 게임을 움직이는 수학과 물리
  ☆15Mar 9, 2017Updated 9 years ago
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated last month
• patroza / fp-app-framework

  View on GitHub
  Functional Programming Framework and sample code
  ☆15Mar 1, 2021Updated 5 years ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Updated this week
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Feb 18, 2026Updated 2 weeks ago
• haeti-dev / ddo-lie-wear-os

  View on GitHub
  ☆12Nov 12, 2025Updated 3 months ago
• wisedog / csbooks

  View on GitHub
  부트캠퍼를 위한 컴퓨터과학 기초
  ☆13Jun 2, 2021Updated 4 years ago
• mariatsji / type-depict

  View on GitHub
  Haskell Expression Visualizer
  ☆13Apr 2, 2022Updated 3 years ago
• guersam / kcd2019

  View on GitHub
  ☆10Mar 1, 2019Updated 7 years ago
• nalply / rbts

  View on GitHub
  Typescript red-black tree
  ☆12Apr 12, 2020Updated 5 years ago
• ULemon / VRCFaceTracking

  View on GitHub
  VRChat OSC App to allow AV3 Avatars to interact with Vive SRanipal Eye and Lip Tracking SDK
  ☆12Nov 20, 2022Updated 3 years ago