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
• UnitTestBot / usvm
  Universal Symbolic Virtual Machine
  ☆23Updated this week
• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆9Updated 3 weeks ago
• arthur100500 / Cats
  Cat photo storage
  ☆14Updated 11 months ago
• ItsLastDay / KotlinFuzzer
  Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
  ☆7Updated 2 years ago
• true-grue / VKR
  ☆18Updated 3 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated 2 weeks ago
• VArtem / lean-itmo
  ☆11Updated 3 years ago
• true-grue / awesome-russian-cs-books
  ☆38Updated 3 years ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆103Updated last week
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆9Updated last year
• danlark1 / quadratic_strict_weak_ordering
  ☆31Updated last year
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 2 months 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 this week
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated this week
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆48Updated 4 months ago
• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 4 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆31Updated 7 months ago
• Papr1ka / llvm2py
  ☆10Updated 2 months ago
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆26Updated this week
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆43Updated 2 years ago
• syntacore / snippy
  ☆59Updated this week
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆18Updated last year
• artemohanjanyan / tt-conspect
  Notes for type theory course
  ☆21Updated 6 years ago
• Stanislav-Sartasov / spsu-mm-se-programming
  A repository for SPbU Software Engineering bachelor studies
  ☆8Updated last year
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆27Updated 3 years ago
• alexanderskulikov / circuit_improvement
  ☆6Updated this week
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆15Updated 2 months ago