Alternatives and similar repositories for agda-introduction-korean

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

• 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 2 months ago
• The-World-Space / the-world-engine.ts

  View on GitHub
  three.js based, unity like game engine for browser
  ☆29Aug 4, 2023Updated 2 years ago
• snu-sf / promising-coq

  View on GitHub
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆43Oct 15, 2024Updated last year
• CakeML / pure

  View on GitHub
  A verified compiler for a lazy functional language
  ☆39Feb 4, 2026Updated last week
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• Redstone-Compiler / redstone-compiler

  View on GitHub
  Minecraft Redstone Compiler
  ☆13Feb 9, 2025Updated last year
• FlyScala / ProgrammingScala

  View on GitHub
  ☆11Dec 21, 2016Updated 9 years ago
• ExcelsiorCJH / CodingTheMatrix

  View on GitHub
  CodingTheMatrix Study
  ☆12Mar 30, 2018Updated 7 years ago
• Ciantic / rust-wasm-and-c

  View on GitHub
  ☆11Jun 16, 2022Updated 3 years ago
• lionhairdino / saekpen.nvim

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

  View on GitHub
  Railway oriented programming talk and code for TechTrain2021
  ☆11Mar 26, 2021Updated 4 years ago
• 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
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Feb 9, 2026Updated last week
• Heaust-ops / babylon-deferred-lights

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

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

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

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

  View on GitHub
  ☆11Jan 21, 2025Updated last year
• patroza / fp-app-framework

  View on GitHub
  Functional Programming Framework and sample code
  ☆15Mar 1, 2021Updated 4 years ago
• guersam / kcd2019

  View on GitHub
  ☆10Mar 1, 2019Updated 6 years ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Updated this week
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated last month
• awskrug / cli-group

  View on GitHub
  AWSKRUG CLI Small Group
  ☆10Jan 9, 2020Updated 6 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
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆18Feb 9, 2026Updated last week
• 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
• Svehla / ts-generics-RegEx-engine

  View on GitHub
  Bugged few features support RegEx engine written just by Typescript generics
  ☆57Feb 18, 2022Updated 3 years ago
• ChangJoo-Park / rescript-example-for-starter

  View on GitHub
  rescript와 react 예제 모음
  ☆13Jun 10, 2021Updated 4 years ago
• kaist-plrg / concrat

  View on GitHub
  Concurrent-C to Rust Automatic Translator
  ☆15Jan 26, 2023Updated 3 years ago
• shiftpsh / sgcs-cse3030

  View on GitHub
  CSE3030 Assembly Programming
  ☆13Sep 28, 2019Updated 6 years ago
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆16Apr 15, 2025Updated 10 months ago
• UCSD-PL / veridrone

  View on GitHub
  Foundational Verification of Hybrid Systems
  ☆15Mar 23, 2017Updated 8 years ago
• kwanghoon / yapb

  View on GitHub
  YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)
  ☆16Jun 3, 2025Updated 8 months ago