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
• ItsLastDay / KotlinFuzzer
  Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
  ☆7Updated 2 years ago
• true-grue / awesome-russian-cs-books
  ☆38Updated 3 years ago
• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆9Updated last month
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• UnitTestBot / usvm
  Universal Symbolic Virtual Machine
  ☆23Updated this week
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated last month
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆49Updated 5 months ago
• VArtem / lean-itmo
  ☆11Updated 4 years ago
• arthur100500 / Cats
  Cat photo storage
  ☆14Updated last year
• YaccConstructor / articles
  Papers sources, pictures, presentations, and other stuff
  ☆22Updated last week
• danlark1 / quadratic_strict_weak_ordering
  ☆31Updated 2 years ago
• dave11ar / seqlock-concurrent-hash-tables
  Diploma project: Integration of seqlock-based synchronization into open-addressed concurrent hash table algorithm
  ☆10Updated last year
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 3 weeks ago
• danyaberezun / compilers-supplementary
  ☆11Updated 3 weeks ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆26Updated 2 years ago
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆9Updated last year
• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 4 years ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆44Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆26Updated 2 weeks ago
• weakmemory / imm
  Intermediate Memory Model (IMM) and compilation correctness proofs for it
  ☆26Updated 4 months ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆18Updated last year
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 3 years ago
• hkust-taco / superoop
  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…
  ☆11Updated last year
• rocq-community / tarjan
  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …
  ☆17Updated 3 weeks ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• true-grue / VKR
  ☆18Updated 3 years ago
• ibessonov / tm
  Generator of Turing Machines that run on Java generic types
  ☆10Updated 7 years ago