danyaberezun / compilers-supplementary

Related projects ⓘ

Alternatives and complementary repositories for compilers-supplementary

• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆70Updated last week
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆50Updated 4 years ago
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 2 years ago
• artemohanjanyan / tt-conspect
  Notes for type theory course
  ☆21Updated 5 years ago
• AShepelevv / mipt.diht.probability-lectures
  ☆9Updated 6 years ago
• mbuzdalov / latex-styles
  LaTeX styles for different purposes.
  ☆101Updated last year
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆24Updated this week
• anton-trunov / csclub-coq-course-spring-2021
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆56Updated last year
• coq-community / fav-ssr
  Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
  ☆45Updated last month
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆42Updated 2 years ago
• JetBrains / arend-lib
  ☆79Updated this week
• CatTheoryByExample / book
  The category theory by example book
  ☆57Updated last year
• volhovm / study-notes
  ITMO/CTD notes, y2013 🇺🇦
  ☆70Updated 5 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆90Updated this week
• astynax / hemmet
  Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
  ☆20Updated last month
• true-grue / awesome-russian-cs-books
  ☆38Updated 2 years ago
• NelosG / fp-tests
  Haskell homework tests
  ☆31Updated 2 years ago
• sequents / code
  Proof theory seminar
  ☆31Updated 3 years ago
• cblp / funlangs
  Functional languages index
  ☆42Updated 5 years ago
• jagajaga / itmo-fp-2020
  ☆7Updated 3 years ago
• tofu-tf / awesome-tagless-final
  Curated list of TF related stuff
  ☆26Updated last year
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆79Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 5 months ago
• fizruk / fpconf-2017-talk
  Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
  ☆9Updated 6 years ago
• ruHaskell-learn / lhx
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Updated 2 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 4 years ago
• 7mind / idealingua-v1
  IdeaLingua RPC for Scala, TypeScript, C#, Go
  ☆20Updated this week
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆27Updated last year
• valis / DT2018
  Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
  ☆15Updated 5 years ago