Alternatives and similar repositories for formal-lang-course:

Users that are interested in formal-lang-course are comparing it to the libraries listed below

• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• arthur100500 / Cats
  Cat photo storage
  ☆14Updated 10 months ago
• true-grue / VKR
  ☆16Updated 3 years ago
• UnitTestBot / usvm
  Universal Symbolic Virtual Machine
  ☆23Updated this week
• Stanislav-Sartasov / spsu-mm-se-programming
  A repository for SPbU Software Engineering bachelor studies
  ☆8Updated last year
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• true-grue / awesome-russian-cs-books
  ☆38Updated 3 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆72Updated last week
• spbu-se / report_presentation_template
  Шаблон презентации для квалификационных работ
  ☆19Updated 9 months ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆46Updated 3 months ago
• danyaberezun / compilers-supplementary
  ☆10Updated last week
• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 3 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆27Updated 2 years ago
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 3 years ago
• YaccConstructor / articles
  Papers sources, pictures, presentations, and other stuff
  ☆22Updated 2 weeks ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆57Updated 7 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆26Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• spbu-se / matmex-diploma-template
  Latex шаблон текста для квалификационных работ
  ☆36Updated 2 months ago
• danlark1 / quadratic_strict_weak_ordering
  ☆31Updated last year
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 weeks ago
• haskell / hoopl
  Higher-order optimization library
  ☆74Updated last year
• mimi-net / miminet
  Cute network emulation web-app for self-education and classes (based on mininet).
  ☆16Updated this week
• KostinP / Mathematical-LecturesAndPractices
  Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…
  ☆15Updated 3 years ago
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆54Updated 4 years ago
• andrewt0301 / static-analysis-course
  Materials for the "Principles of Static Program Analysis" course
  ☆9Updated 4 months ago
• imdea-software / htt
  Hoare Type Theory
  ☆74Updated 2 months ago
• VArtem / lean-itmo
  ☆11Updated 3 years ago
• KernelA / xelatex-gost-bac
  Шаблон для оформления ВКР бакалавра или магистерской диссертации в XeLaTeX.
  ☆13Updated last year