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.
  ☆226Updated 6 months ago
• evanw / fsm
  Finite State Machine Designer
  ☆309Updated 2 years ago
• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆44Updated 7 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆115Updated 2 years ago
• mzhang28 / gala
  Compiler for a language with Python-like syntax
  ☆11Updated 6 years ago
• Aluriak / webclingo-example
  Example of clingo usage on website as a client-side JS program
  ☆13Updated 6 years ago
• jix / varisat
  SAT solver written in Rust
  ☆275Updated 3 years ago
• mevdschee / aoc-stats
  Advent of Code statistics for the first 100 submissions visualized
  ☆88Updated 10 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆147Updated 3 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 4 months ago
• plugbee / dslforge
  A generator of domain-specific language (DSL) editors for web applications and cloud IDEs.
  ☆80Updated 2 years ago
• karlstroetmann / Algorithms
  lecture notes for the algorithms class together with most of the programs
  ☆44Updated last year
• fionafibration / DivisibilityRegexes
  Generate regexes that test arbitrary numbers for divisibility by other numbers,
  ☆26Updated 6 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• uwplse / crust
  A compiler from Rust to C, and a checker for unsafe code
  ☆84Updated 6 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆90Updated last year
• informatiCup / informatiCup2020
  Pandemie!
  ☆20Updated 2 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 3 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆309Updated 2 months ago
• Kobzol / davis
  Assembly debugger written in Angular 2.
  ☆67Updated 2 years ago
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆93Updated last week
• rust-spandex / spandex
  🦀 A modern alternative to LaTeX written in Rust
  ☆33Updated 3 years ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆53Updated 8 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 8 months ago
• emilk / drop-merge-sort
  A novel adaptive sorting algorithm
  ☆177Updated 3 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆67Updated last month
• manuels / texlive.js
  Compiling LaTeX (TeX live) in your browser
  ☆1,267Updated 8 years ago
• ETHproductions / japt
  Japt 1.4.5, the other JavaScript golfing language
  ☆74Updated 4 years ago