formal-languages

Star

Here are 261 public repositories matching this topic...

Language:All

Filter by language

All261 Python50 Java44 C++19 C17 JavaScript14 C#10 HTML10 Jupyter Notebook10 TeX10 Haskell7

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

PrithivirajDamodaran /Styleformer

Sponsor

Star482

A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.

nlp passive slang style-transfer active formal-languages text-style text-style-transfer text-style-transfer-benchmark informal-sentences

UpdatedDec 12, 2023
Python

fizzbee-io /fizzbee

Star202

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

prism ltl formal-methods alloy formal-verification formal-languages tla pluscal tla-plus tlaplus alloy-analyzer

UpdatedMar 24, 2025
Python

gmh14 /data_efficient_grammar

Star95

[ICLR 2022] Data-Efficient Graph Grammar Learning for Molecular Generation

formal-languages graph-learning graph-neural-networks grammar-learning molecule-generation symbolic-representation efficient-deep-learning

UpdatedAug 29, 2023
Jupyter Notebook

automatarium /automatarium

Star73

A place for automata

react automata turing-machine formal-languages jflap

UpdatedAug 30, 2024
TypeScript

ysyesilyurt /Metu-CENG

Star67

All the homeworks, studies and projects I've done at Metu-CENG

python c java haskell opengl networking cpp signal-processing computer-graphics prolog embedded-systems programming-languages coursework operating-systems formal-languages computer-security computer-organization logic-design metu-ceng metu

UpdatedJan 2, 2022
Jupyter Notebook

choukh /Set-Theory

Star59

A formalization of the textbook Elements of Set Theory

math coq theorem-proving set-theory formal-languages

UpdatedSep 30, 2021
Coq

Aunsiels /pyformlang

Star47

A python library to manipulate formal languages and various automata

python automata regex python-library regular-expression finite-state-automata finite-state-transducer context-free-grammar formal-languages language-theory regular-languages context-free-language indexed-grammars push-down-automata

UpdatedMar 18, 2025
Python

knowsys /FormaleSysteme

Star44

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

automata german regular-expression teaching complexity turing-machine theoretical-computer-science propositional-logic formal-languages teaching-materials

UpdatedApr 7, 2024
TeX

pkoopongithub /algorithmisch-rekursive-sequenzanalyse

Star41

qualitative Sozialforschung: Textanalyse durch Sequenzanalyse, Grammatikinduktion, -transduktion, Parsen

social-sciences formal-languages grammar-parser dialog-generation grammar-induction grammer-transduction

UpdatedMar 13, 2025
Jupyter Notebook

dmbaturin /bnfgen

Star39

Generates random text based on context-free grammars defined in BNF

ocaml text-generation bnf hacktoberfest formal-languages

UpdatedFeb 19, 2025
OCaml

wkoszek /flviz

Star36

FLVIz - Finite Automata Simulator written in QT/Graphviz

state-machine simulation finite-state-machine formal-languages

UpdatedNov 3, 2015
HTML

filippodaniotti /Appunti-LFC

Star34

Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento

latex university compiler latex-document formal-languages appunti linguaggi-formali universit-di-trento appunti-lfc compilatori

UpdatedOct 7, 2024
TeX

Alpha-Innovator /GeoX

Star29

[ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training

formal-languages vlm ai4math geometry-problem-solving

UpdatedJan 25, 2025
Python

moonad /Moonad

Star28

Moonad: a p2p academic journal, or a social network for code?

functional-programming game-development formal-verification formal-languages academic-journals formality moonad

UpdatedJan 6, 2023
JavaScript

AndriesSHP /Gellish

Star25

Development of the Gellish Communicator reference application and tools for universal data exchange and data integration supporting Formal English and other Gellish formalized natural languages.

nlp taxonomies natural-language-processing databases ontology interoperability classification data-integration data-management reference-implementation query-language data-modeling formal-languages data-exchange knowledge-representation universal-interface knowledge-modeling interoperability-of-systems gellish formalized-natural-language

UpdatedNov 12, 2018
Python

ElNiak /awesome-formal-verification

Sponsor

Star24

Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.

testing awesome tools model verification proof-assistant awesome-list model-checking formal-methods formal-verification formal-languages network-verification awesome-resources formal-specification hardware-verification