prosyslab-classroom / hardcore-ocaml

Related projects ⓘ

Alternatives and complementary repositories for hardcore-ocaml

• 9beach / hanspell-hs
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Updated last year
• plwiki / plwiki.github.io
  ☆27Updated this week
• simnalamburt / snucse.pl
  4190.310 Programming Languages (Fall 2015)
  ☆33Updated 7 years ago
• ENvironmentSet / esone
  Acropolis, where you can experience very first version of ECMAScript.
  ☆29Updated 2 months ago
• haskell-kr / haskell-kr
  하스켈 모임 웹사이트 소스 코드
  ☆17Updated 2 years ago
• prosyslab / pl-wiki
  ☆44Updated this week
• kyagrd / haskell
  Programming in Haskell (Korean translation) - homepage
  ☆9Updated 8 years ago
• ENvironmentSet / overcurried
  Personal blog of ENvironmentSet based on oversomething.
  ☆13Updated last week
• eunmin / getting-started-monad
  모나드 첫걸음
  ☆38Updated 5 years ago
• alstn2468 / category-theory-for-programmers
  🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
  ☆34Updated 2 years ago
• ghudegy / 2018
  구데기컵 @ Baekjoon Online Judge
  ☆34Updated last year
• dragonteros / unsuspected-hangeul
  함수형 난해한 언어 '평범한 한글'의 명세와 구현체입니다.
  ☆56Updated last month
• Zeta611 / easyword
  🗣️🇰🇷 Easy Korean Translations of CS Jargons
  ☆24Updated last month
• havana723 / bhnb-opengl
  ☆13Updated 10 months ago
• simnalamburt / snippets
  My code snippets
  ☆37Updated last week
• utilForever / 2023-SICP-Rust
  2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition
  ☆10Updated last year
• daangn / advent-of-code-2021
  새로운 프로그래밍 언어와 함께 겨울나기
  ☆48Updated 2 years ago
• kyaryunha / tex-design-three-slash
  Academic Report Form, written in TeX. Designed and Developed by Kyaryunha, All Rights Reserved.
  ☆11Updated 2 years ago
• ritajeong / decoGit
  Junction Asia 2022 Track Finalist(2nd), Track chainapsis(blockchain), Team decoGit
  ☆9Updated 2 years ago
• simnalamburt / web-checklist
  Checklist for your web service
  ☆62Updated last month
• simnalamburt / realnocode
  
  ☆10Updated 9 months ago
• dragonteros / chaltteok
  자연스러운 한국어를 꿈꾸는 프로그래밍 언어 '찰떡'
  ☆34Updated last year
• yaksok / yaksok.js
  yaksok toolkit
  ☆56Updated 2 years ago
• balpan-rs / balpan
  Simple CLI Tool that supports your onboarding for a journey on source code.
  ☆37Updated 7 months ago
• mipsSimulatorUNIST / simulator
  ☆12Updated last year
• kiwiyou / algorithm-lecture
  ☆17Updated 5 months ago
• KiJeong-Lim / portfolio
  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …
  ☆14Updated 3 months ago
• snu-sf-class / sf202301
  컴퓨터 신기술 특강
  ☆11Updated last year