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.
  ☆231Updated 2 weeks ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆46Updated last week
• evanw / fsm
  Finite State Machine Designer
  ☆311Updated 2 years ago
• mevdschee / aoc-stats
  Advent of Code statistics for the first 100 submissions visualized
  ☆89Updated 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 this week
• micromata / webengineering-2017
  Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel
  ☆18Updated 8 years ago
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆99Updated this week
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆118Updated 3 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated this week
• emmericp / mensa-stats
  What's the best time for lunch in the new Mensa in Garching?
  ☆18Updated 2 years ago
• manuels / texlive.js
  Compiling LaTeX (TeX live) in your browser
  ☆1,273Updated 9 years ago
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated 2 years ago
• mzhang28 / gala
  Compiler for a language with Python-like syntax
  ☆11Updated 7 years ago
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆360Updated 4 years ago
• jeroenheijmans / advent-of-code-charts
  Inject charts in your private leaderboard page for Advent of Code
  ☆146Updated 2 months ago
• jix / varisat
  SAT solver written in Rust
  ☆274Updated 3 years ago
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆90Updated last year
• xu-cheng / latex-action
  GitHub Action to compile LaTeX documents
  ☆1,345Updated 3 weeks ago
• matteosecli / pdf2archive
  A simple Ghostscript-based PDF to PDF/A-1B converter.
  ☆87Updated 4 years ago
• okfde / offenegesetze.de
  ⚖️ Wir öffnen das Bundesgesetzblatt
  ☆90Updated 7 months ago
• aslushnikov / latex-online
  Online latex compiler. You give it a link, it gives you PDF
  ☆589Updated last year
• luigifcruz / LatexBot
  Automatically generate images from LaTeX expressions on Telegram.
  ☆33Updated 8 years ago
• malteschmitz / latex-thesis
  LaTeX-Vorlage für Abschlussarbeiten. Angelehnt an die Vorgaben der Sektion MINT der Uni Lübeck.
  ☆37Updated 4 years ago
• textX / Arpeggio
  Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/
  ☆284Updated last month
• nikeee / edotor.net
  Your favourite Graphviz editor.
  ☆201Updated last week
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆24Updated 9 years ago
• sarahtattersall / PIPE
  PIPE - Platform Independent Petri Net Editor
  ☆245Updated 3 years ago
• mpelleau / these-I3S
  ☆13Updated last month
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 3 years ago