Alternatives and similar repositories for Lecture_EOPL:

Users that are interested in Lecture_EOPL are comparing it to the libraries listed below

• plwiki / plwiki.github.io
  ☆30Updated last month
• prosyslab / pl-wiki
  ☆45Updated 4 months ago
• 9beach / hanspell-hs
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Updated last year
• prosyslab-classroom / hardcore-ocaml
  ☆13Updated 2 months ago
• Zeta611 / react-trace
  🛤️ React-tRace
  ☆17Updated this week
• damhiya / MetaLambda
  ☆10Updated last year
• kwanghoon / DesignPatternExamples
  ☆9Updated last year
• kupl-courses / COSE312-2023spring
  COSE 312 Compilers
  ☆37Updated last year
• eunmin / realworld-haskell
  https://github.com/gothinkster/realworld
  ☆14Updated 3 months ago
• sudopark / category-theory-for-programmers-study
  프로그래머를 위한 카테고리 이론 스터디 😇
  ☆54Updated 4 years ago
• hyuunnn / awesome-pl-kor
  한글로 볼 수 있는 PL 관련 자료들을 정리하는 공간입니다.
  ☆49Updated last week
• prosyslab / sigpl23-tutorial
  ☆9Updated last year
• Zeta611 / easyword
  🗣️🇰🇷 Easy Korean Translations of CS Jargons
  ☆28Updated last month
• ENvironmentSet / esone
  Acropolis, where you can experience very first version of ECMAScript.
  ☆29Updated 7 months ago
• Lunuy / agda-introduction-korean
  수학 증명언어 Agda 입문
  ☆10Updated last year
• damhiya / Coq-tips
  ☆11Updated last year
• ENvironmentSet / hyogwa
  Natural 🌿 effect system that fits TypeScript
  ☆59Updated 7 months ago
• snu-sf-class / sf202301
  컴퓨터 신기술 특강
  ☆10Updated last year
• alstn2468 / category-theory-for-programmers
  🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
  ☆36Updated 2 years ago
• attltb / Lecture-Monad
  A whole new approach to teaching monad.
  ☆52Updated 2 years ago
• ghudegy / 2022
  진짜 최종 구데기컵 2 2 @ Baekjoon Online Judge
  ☆20Updated 2 years ago
• MostlyAdequate / mostly-adequate-guide-kr
  Mostly adequate guide to FP (in javascript, translated to korean)
  ☆20Updated last year
• aheui / aheui.aheui
  아희아희: 아희로 만든 아희 인터프리터
  ☆124Updated 9 years ago
• JsonKim / fastcampus-fp-typescript
  ☆23Updated 3 years ago
• utilForever / 2023-UNIST-Rust-Minecraft
  2023년 UNIST HeXA 스터디 - Rust 기초 프로그래밍 + 마인크래프트 만들기
  ☆106Updated last month
• kiwiyou / algorithm-lecture
  ☆17Updated 10 months ago
• NullFull / jonmat-next
  국회의원 후원금사용내역을 기반으로 한 검증된 맛집지도
  ☆85Updated last year
• utilForever / 2024-Hyundai-NGV-Rust
  2024 Softeer Tech Meetup - Rust는 왜 주목 받고 있는가 + Rust 주요 기능 소개
  ☆40Updated 9 months ago
• ku-plrg-classroom / docs
  Documents for Programming Assignments
  ☆15Updated this week
• junhoyeo / standard-is
  ⭐️ Standard.IS - 솔탈 및 인싸 생활을 위한 표준 대화법(Standard Inssa Syntax)
  ☆66Updated last year