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.
active formal-languages informal-sentences nlp passive slang style-transfer text-style text-style-transfer text-style-transfer-benchmark
Language:Python 480
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 164
gmh14 / data_efficient_grammar
[ICLR 2022] Data-Efficient Graph Grammar Learning for Molecular Generation
efficient-deep-learning formal-languages grammar-learning graph-learning graph-neural-networks molecule-generation symbolic-representation
Language:Jupyter Notebook 95
automatarium
automatarium / automatarium
A place for automata
automata formal-languages jflap react turing-machine
Language:TypeScript 71
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 68
choukh / Set-Theory
A formalization of the textbook Elements of Set Theory
coq set-theory math theorem-proving formal-languages
Language:Coq 59
Aunsiels / pyformlang
A python library to manipulate formal languages and various automata
automata context-free-grammar context-free-language finite-state-automata finite-state-transducer formal-languages indexed-grammars language-theory push-down-automata python python-library regex regular-expression regular-languages
Language:Python 45
knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
regular-expression formal-languages automata teaching-materials teaching german complexity turing-machine theoretical-computer-science propositional-logic
Language:TeX 44
dmbaturin / bnfgen
Generates random text based on context-free grammars defined in BNF
bnf formal-languages hacktoberfest ocaml text-generation
Language:OCaml 36
wkoszek / flviz
FLVIz - Finite Automata Simulator written in QT/Graphviz
finite-state-machine formal-languages simulation state-machine
Language:HTML 36
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
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 30
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
vvulpes0 / Language-Toolkit-2
A set of tools for analyzing languages via logic and automata
automata formal-languages propositional-logic theorem-proving
Language:Haskell 24
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 21
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
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
12
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 12
johnsonstephan / awesome-web3-formal-verification
A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
defi formal-languages formal-methods formal-verification smart-contract-audit smart-contract-security smart-contract-tools smart-contracts solidity awesome-list blockchain blockchain-service research
11
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.
bnf cfg context-free-grammar context-free-grammars context-free-language ebnf formal-languages generator grammar grammar-parser grammars language python
Language:Python 7
zambonin / rltools
regular language tools - automata-based tokenizer, LL(1) parser
automata dfa formal-languages grammar nfa python regular-expression tokenizer 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
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