Topic: formal-languages Goto Github
Some thing interesting about formal-languages
Some thing interesting about formal-languages
formal-languages,My first compiler written for course Compiler Construction and Formal Languages D7050E
User: aleman778
formal-languages,Текстовый редактор с функциями языкового процессора (курсовая работа по теории формальных языков и компиляторов (ТФЯиК) за 6 семестр)
User: alexey-sagaydak
Home Page: https://dispace.edu.nstu.ru/didesk/course/show/8594
formal-languages,Formal Methods for Blockchain & Smart Contracts
Organization: amrita-tifac-cyber-blockchain
Home Page: https://amrita-tifac-cyber-blockchain.github.io/Formal-Methods-Blockchain/
formal-languages,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.
User: andriesshp
formal-languages,A python library to manipulate formal languages and various automata
User: aunsiels
Home Page: https://pypi.org/project/pyformlang/
formal-languages,A place for automata
Organization: automatarium
Home Page: https://automatarium.tdib.xyz
formal-languages,Online formal language designer
User: baioc
Home Page: https://baioc.dev/portfolio/formallysharp/
formal-languages,A formalization of the textbook Elements of Set Theory
User: choukh
formal-languages,Máquina de Turing para palíndromos binários
User: cristianpenteado
Home Page: https://cristian404dev.github.io/turing-machine/
formal-languages,Turing game: Solve programming challenges by designing Turing machines!
User: denizbasgoren
Home Page: https://denizbasgoren.github.io/turing
formal-languages,Generates random text based on context-free grammars defined in BNF
User: dmbaturin
formal-languages,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.
User: elniak
formal-languages,VUTBR - FIT: TIN 2018/2019
User: europ
formal-languages,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.
User: fernandocar86
Home Page: https://fernandocar86.github.io/seminario-gramaticas-formales/
formal-languages,Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento
User: filippodaniotti
formal-languages,Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Organization: fizzbee-io
Home Page: https://fizzbee.io
formal-languages,[ICLR 2022] Data-Efficient Graph Grammar Learning for Molecular Generation
User: gmh14
Home Page: https://openreview.net/forum?id=l4IHywGq6a
formal-languages,DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
User: grockious
formal-languages,Official repository for the paper "Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions" (EMNLP 2023)
Organization: idsia
formal-languages,Extension of JFLAP. Provides command line interface, automaton and words generation and JSON results. Written in Kotlin.
User: jakubriegel
formal-languages,Learning how to simulate a grammer in a Non Deterministic Finite Automata
User: jeevanshajujohn
formal-languages,Top-Down parser and Bottom-UP parser final project for Formal Languages and Compilers.
User: juanm0412
formal-languages,All the homeworks, testers and projects done at METU-CENG
User: kadircet
formal-languages,Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Organization: knowsys
Home Page: https://iccl.inf.tu-dresden.de/web/Formale_Systeme
formal-languages,State finite machines examples, thrax gramma and simple regex tasks. Created at the University as the project within Automata Theory and Formal Languages classes in 2014. The purpose of those examples was to learn automata and formal languages theory and also create simple state finite machines.
User: maciej-nowak
formal-languages,A Python package for deal with logical formulas and formal systems (e.g. FOL)
User: marcofavorito
formal-languages,ИУ9. Теория формальных языков. Ыкстрымально сложнааааа
User: masyagin1998
formal-languages,A repository of my BTech assignments for different papers.
User: meganindya
formal-languages,🎓 Homework/Coursework during my bachelor's in Computer Science
User: mehanix
formal-languages,Tool for review formal grammars in Bison/Lemon format
User: melihovv
formal-languages,Processing Formal Languages and Automata Package
User: micycle1
formal-languages,My practices and implementation during my studies on computation theory at SBU
User: mohammadkarbalaee
formal-languages,Moonad: a p2p academic journal, or a social network for code?
Organization: moonad
Home Page: http://moonad.org/
formal-languages,Small little context-free expression generator and parser using user provided EBNF-like source.
User: negativefnnancy
formal-languages,Minimal type-safe PHP compiler
User: nicksettler
formal-languages,A programming language interpreter written in Go
User: niklaskorz
formal-languages,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).
Organization: onera
Home Page: https://w3.onera.fr/phylog/
formal-languages,
Organization: owl-toolkit
Home Page: https://owl.model.in.tum.de/
formal-languages,qualitative Sozialforschung: Textanalyse durch Sequenzanalyse, Grammatikinduktion, -transduktion, Parsen
User: pkoopongithub
Home Page: http://www.paul-koop.org/indexdownload.php?ID=6
formal-languages,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.
User: prithivirajdamodaran
formal-languages,Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
User: serengti
formal-languages,Solving balanced parentheses problem using Dart 3 type system
User: shilangyu
Home Page: http://github.shilangyu.dev/balanced-parentheses-dart-3/
formal-languages,A set of tools for analyzing languages via logic and automata
User: vvulpes0
formal-languages,FLVIz - Finite Automata Simulator written in QT/Graphviz
User: wkoszek
formal-languages,Active learning tool designed to explore the pumping lemma property for regular language
User: wzjoriv
formal-languages,Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell
Organization: yaccconstructor
Home Page: https://yaccconstructor.github.io/LangToGroup/
formal-languages,All the homeworks, studies and projects I've done at Metu-CENG
User: ysyesilyurt
formal-languages,Homeworks given at Department of Computer Engineering, Middle East Technical University.
User: zeynepozalp
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.