formal-languages

There are 4 repositories under formal-languages topic.

PrithivirajDamodaran / Styleformer
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.
style-transfer slang informal-sentences formal-languages nlp active passive text-style-transfer text-style text-style-transfer-benchmark
Language:Python 474
fizzbee-io / fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
formal-languages formal-methods formal-verification ltl tla tla-plus tlaplus alloy alloy-analyzer pluscal prism
Language:Python 118
gmh14 / data_efficient_grammar
[ICLR 2022] Data-Efficient Graph Grammar Learning for Molecular Generation
grammar-learning molecule-generation graph-learning efficient-deep-learning graph-neural-networks formal-languages symbolic-representation
Language:Jupyter Notebook 92
automatarium
automatarium / automatarium
A place for automata
automata turing-machine formal-languages jflap react
Language:TypeScript 69
ysyesilyurt / Metu-CENG
All the homeworks, studies and projects I've done at Metu-CENG
coursework metu-ceng metu formal-languages embedded-systems networking computer-organization operating-systems logic-design c cpp python java haskell prolog signal-processing computer-graphics opengl computer-security programming-languages
Language:Jupyter Notebook 64
choukh / Set-Theory
A formalization of the textbook Elements of Set Theory
coq formal-languages math set-theory theorem-proving
Language:Coq 59
knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
automata complexity formal-languages german propositional-logic regular-expression teaching teaching-materials theoretical-computer-science turing-machine
Language:TeX 42
Aunsiels / pyformlang
A python library to manipulate formal languages and various automata
regular-languages language-theory python-library formal-languages automata indexed-grammars regex python context-free-grammar context-free-language finite-state-automata finite-state-transducer regular-expression push-down-automata
Language:Python 39
wkoszek / flviz
FLVIz - Finite Automata Simulator written in QT/Graphviz
simulation finite-state-machine formal-languages state-machine
Language:HTML 36
dmbaturin / bnfgen
Generates random text based on context-free grammars defined in BNF
ocaml bnf formal-languages text-generation hacktoberfest
Language:OCaml 33
filippodaniotti / Appunti-LFC
Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento
latex latex-document formal-languages compiler universit-di-trento university appunti appunti-lfc linguaggi-formali compilatori
Language:TeX 33
Moonad
moonad / Moonad
Moonad: a p2p academic journal, or a social network for code?
moonad formality formal-verification formal-languages academic-journals functional-programming game-development
Language:JavaScript 28
AndriesSHP / Gellish
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.
reference-implementation data-exchange data-management knowledge-representation formal-languages ontology interoperability databases data-modeling knowledge-modeling data-integration interoperability-of-systems universal-interface taxonomies classification gellish formalized-natural-language nlp natural-language-processing query-language
Language:Python 25
algorithmisch-rekursive-sequenzanalyse
pkoopongithub / algorithmisch-rekursive-sequenzanalyse
qualitative Sozialforschung: Textanalyse durch Sequenzanalyse, Grammatikinduktion, -transduktion, Parsen
grammar-parser grammar-induction social-sciences grammer-transduction formal-languages dialog-generation
Language:Jupyter Notebook 22
vvulpes0 / Language-Toolkit-2
A set of tools for analyzing languages via logic and automata
theorem-proving formal-languages automata propositional-logic
Language:Haskell 22
grockious / deepsynth
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
deep-learning reinforcement-learning montezuma-revenge formal-languages formal-models automaton
Language:Python 18
kadircet / CENG
All the homeworks, testers and projects done at METU-CENG
machine-learning deep-learning computer-science networking operating-systems logic-design programming-language-concepts formal-languages algorithms computer-organization embedded-systems game-theory metu-ceng
Language:Jupyter Notebook 16
meganindya / btech-assignments
A repository of my BTech assignments for different papers.
c data-structures operating-system formal-languages automata-theory oop java vhdl matlab fpga compiler-design sql algorithm-analysis socket-programming software-engineering web-technologies information-security image-processing
Language:Jupyter Notebook 16
owl-toolkit / owl
automata formal-languages formal-methods formal-verification linear-temporal-logic reactive-synthesis
Language:Java 15
mehanix / teme-fmi
🎓 Homework/Coursework during my bachelor's in Computer Science
cpp computer-science homework-exercises python webdev java haskell artificial-intelligence formal-languages database-design databases mips-assembly data-structures algorithms-and-data-structures operating-systems fmi signal-processing nodejs ios-swift
Language:Haskell 10
fernandocar86 / seminario-gramaticas-formales
Repositorio con materiales para la cursada del seminario sobre implementación computacional de gramáticas formales en la carrera de Letras de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires.
linguistics formal-grammars formal-languages
Language:GAP 8
negativefnnancy / NanGram
Small little context-free expression generator and parser using user provided EBNF-like source.
grammar grammars grammar-parser generator language formal-languages cfg context-free-grammar context-free-language context-free-grammars bnf ebnf python
Language:Python 7
zambonin / rltools
regular language tools - automata-based tokenizer, LL(1) parser
python regular-expression grammar formal-languages nfa dfa tokenizer automata ufsc
Language:Python 6
europ / VUTBR-FIT-TIN
VUTBR - FIT: TIN 2018/2019
vut vutbr fit tin computer-science formal-languages regular context-free recursive recursively-enumerable decidability reduction complexity finite-state-machine pushdown-automaton turing-machine finite-state-automaton completeness
Language:TeX 5
IDSIA / fwp-formal-lang
Official repository for the paper "Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions" (EMNLP 2023)
fast-weight-programmers fast-weights formal-languages pytorch self-referential-learning linear-transformers self-referential-weight-matrix
Language:Cuda 5
jakubriegel / PUTflap
Extension of JFLAP. Provides command line interface, automaton and words generation and JSON results. Written in Kotlin.
jflap formal-languages automaton cli json
Language:Java 5
marcofavorito / pythogic
A Python package for deal with logical formulas and formal systems (e.g. FOL)
logic formal-logic formal-languages ltl first-order-logic propositional-logic linear-temporal-logic logic-formalisms formal-methods ldlf ltlf
Language:Python 5
masyagin1998 / TFL
ИУ9. Теория формальных языков. Ыкстрымально сложнааааа
formal-languages iu9
Language:Python 5
melihovv / grammar_review_tool
Tool for review formal grammars in Bison/Lemon format
review-tools php laravel bison lemon formal-languages
Language:PHP 5
pml-analyzer
onera / pml-analyzer
The PML analyzer is an open source API providing a simple DSL to build a description of the architecture of your chip based on the PHYLOG Modelling Language (PML).
certification formal-languages formal-methods interference multi-core safety-critical
Language:Scala 5
SerenGTI / Theo_Inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
theoretical-computer-science formal-languages automata-theory complexity-theory computability-theory
Language:TeX 5
DenizBasgoren / turing
Turing game: Solve programming challenges by designing Turing machines!
turing-machine algorithm-challenges programming-exercises formal-languages
Language:JavaScript 4
ElNiak / awesome-formal-verification
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.
awesome awesome-list awesome-resources formal-languages formal-methods formal-specification formal-verification hardware-verification model model-checking network-verification proof-assistant testing tools verification
4
micycle1 / PFLAP
Processing Formal Languages and Automata Package
processing automata dfa pushdown-automaton awt swing processing-library automatons cp5 p5js formal-languages dpa machine p5 processing-sketch
Language:Java 4
shilangyu / balanced-parentheses-dart-3
Solving balanced parentheses problem using Dart 3 type system
balanced-parentheses dart formal-languages records
Language:Dart 4
zeynepozalp / Coursework
Homeworks given at Department of Computer Engineering, Middle East Technical University.
metu-ceng computer-science python c cpp haskell prolog programming-language-concepts data-structures formal-languages logic-design descrete-math
Language:C 4