Alternatives and similar repositories for lean-itmo

Users that are interested in lean-itmo are comparing it to the libraries listed below

• shd / logic2021
  ☆13Updated 4 years ago
• NelosG / fp-tests
  Haskell homework tests
  ☆31Updated 4 years ago
• BudAlNik / turing-machine-visualizer
  Turing machine visualizer
  ☆22Updated 5 years ago
• mbuzdalov / latex-styles
  LaTeX styles for different purposes.
  ☆108Updated 2 years ago
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆50Updated 4 months ago
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆56Updated 5 years ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆262Updated last week
• true-grue / awesome-russian-cs-books
  ☆41Updated 3 years ago
• valis / DT2018
  Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
  ☆15Updated 7 years ago
• ruHaskell-learn / lhx
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Updated 3 years ago
• Jovvik / M3137year2019
  Конспекты М3*37 2019 года
  ☆77Updated this week
• jagajaga / FP-Course-ITMO
  Slides and other materials for functional programming lectures ITMO university
  ☆625Updated 4 years ago
• anton-trunov / csclub-coq-course-spring-2021
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆57Updated 2 years ago
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆29Updated last week
• fizruk / telegram-bot-simple
  Easy to use library for building Telegram bots in Haskell.
  ☆120Updated last month
• shd / logic2011
  ☆16Updated last year
• artemohanjanyan / tt-conspect
  Notes for type theory course
  ☆21Updated 7 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆283Updated last week
• vsha96 / mllib
  Machine Learning in Haskell
  ☆27Updated last year
• sancho20021 / linal
  lecture notes
  ☆28Updated 4 years ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆161Updated 3 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated last week
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆376Updated 5 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆311Updated 2 years ago
• shd / logic2022
  ☆10Updated 3 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆104Updated 3 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆28Updated 2 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆24Updated 8 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 8 months ago