Alternatives and similar repositories for lecture

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

• titech-is-cs115 / lecture
  2015年度後期 計算機科学第一 講義
  ☆13Updated 9 years ago
• matsu-chara / slack_user_avatar_emojis
  register slack user avatars to emoji
  ☆12Updated 5 years ago
• klassic / klassic
  Klassic is A Programming Language which enables Object-Functional Programming
  ☆85Updated this week
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 8 years ago
• akamah / garbanzo
  a brief note on extendable and injectable syntax
  ☆20Updated 9 years ago
• kory33 / scala-proofs
  An attempt to build axiomatic, formal set theory on top of Scala.
  ☆37Updated last year
• kurochan / scaptive-portal
  Captive Portal implemented in Scala
  ☆9Updated 5 years ago
• yuroyoro / Japanese_Translations_of_Scala_Articles
  Japanese translation of Apocalisp's articles.
  ☆13Updated 13 years ago
• hsk / docs
  any docs
  ☆17Updated 5 years ago
• eliza0x / cotton
  compiler, llvm
  ☆36Updated 6 years ago
• dwango / scala_text_pdf
  Scala研修用テキスト（Scala Text）のPDF版
  ☆13Updated 5 years ago
• fetburner / sumiilab-tex
  東北大学 住井研究室のステキな TeX ファイルたち
  ☆36Updated 4 years ago
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆71Updated 5 years ago
• haskell-jp / makeMistakesToLearnHaskell
  Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門
  ☆83Updated 2 weeks ago
• scalajp / introduction-to-category-theory-in-scala-jp
  introduction to category theory in scalajp
  ☆48Updated 13 years ago
• hexx / action-cont
  ☆25Updated 9 years ago
• emelio-lang / intprt-cpp
  Emelio interpreter written in C++
  ☆34Updated 4 years ago
• scala-text / S99
  S99の解答例
  ☆49Updated this week
• igrep / yes-precure5-command
  Extended yes command to reproduce the phrases when the Japanese battle heroine PreCure transform.
  ☆26Updated 8 years ago
• formura / formura
  Describe stencil formurae without even translating them
  ☆16Updated 5 years ago
• quassia88 / introduction-to-category-theory-in-scala-jp
  ☆30Updated 13 years ago
• amutake / docker-satysfi
  Docker images for SATySFi and Satyrographos
  ☆26Updated 5 months ago
• elipmoc / Ruscall
  自作言語処理系のコンパイラ制作
  ☆43Updated 6 years ago
• mitsuchi / mud
  多重ディスパッチをベースとする静的型付け関数型プログラミング言語
  ☆24Updated 5 years ago
• nikosai / lambda-friends
  Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」
  ☆28Updated last year
• fetburner / Udon
  A Hobby implementation of ML
  ☆15Updated 9 years ago
• YouyouCong / ppl-summer-school-2022
  ☆24Updated 2 years ago
• Tatamo / lavriapg
  LavRia: TypeScript LALR(1) Parser Generator
  ☆16Updated 3 weeks ago
• gakuzzzz / xanadu
  JavaSE8 utilities powered by Lombok
  ☆34Updated 9 years ago
• hsjoihs / camphorscript
  A C-like language designed to help write brainf*ck
  ☆14Updated 5 years ago