Alternatives and similar repositories for Formal-Languages

Users that are interested in Formal-Languages are comparing it to the libraries listed below

• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆230Updated last week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆42Updated 3 weeks ago
• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆46Updated last week
• micromata / webengineering-2017
  Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel
  ☆18Updated 8 years ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆53Updated 8 years ago
• prologin / camisole
  ☆71Updated 2 years ago
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆90Updated last year
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆98Updated this week
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated last week
• evanw / fsm
  Finite State Machine Designer
  ☆310Updated 2 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆24Updated 9 years ago
• informatiCup / informatiCup2020
  Pandemie!
  ☆20Updated 3 years ago
• jenner / LstGen
  Code-Generator für die Lohnsteuerberechnung aus PAP XML
  ☆60Updated last week
• mevdschee / aoc-stats
  Advent of Code statistics for the first 100 submissions visualized
  ☆89Updated last year
• karlstroetmann / Logic
  Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispie…
  ☆46Updated last week
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 8 months ago
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆139Updated 5 years ago
• emmericp / mensa-stats
  What's the best time for lunch in the new Mensa in Garching?
  ☆18Updated 2 years ago
• ltratt / multitime
  Time command execution over multiple executions
  ☆123Updated last month
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• bourguet / operator_precedence_parsing
  C89 expressions parsed with the shunting yard algorithm in Python
  ☆85Updated last year
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆69Updated 2 months ago
• siefkenj / latex-parser
  Generate an AST and beautify LaTeX code
  ☆72Updated 2 years ago
• VitamintK / Passant
  Programming language made up of chess games
  ☆36Updated 6 years ago
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆185Updated last year
• jix / varisat
  SAT solver written in Rust
  ☆274Updated 3 years ago
• gabriele-tomassetti / language-server-dot
  This is the companion repository of the article A Language Server For DOT With Visual Studio Code. A tutorial that will explain how to cr…
  ☆34Updated 5 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆55Updated 9 years ago
• stefnotch / quantum-sheet
  QuantumSheet - A user friendly mathematics worksheet and solver
  ☆59Updated 3 years ago