dmbaturin/bnfgen

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

Language: OCaml - Size: 202 KB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 39 - Forks: 4

xayahrainie4793/minimal-elements-of-the-prime-numbers

The minimal elements of the prime numbers which are > b written in the positional numeral system with radix b, as digit strings under the subsequence ordering, for 2 ≤ b ≤ 36

Language: C++ - Size: 167 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1 - Forks: 0

ThisIsAntonio/Compilers_NatA_Lang

NatA Lang is an educational language and compiler built in C to explore reader, scanner, and parser stages using formal models like REs and BNF.

Language: C - Size: 70.3 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

fizzbee-io/fizzbee

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

Language: Python - Size: 1.16 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 222 - Forks: 14

Inevitabby/notes

(Mostly) academic notes (mirror).

Language: TeX - Size: 3.23 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

let-unimi/sito

Sito web del corso di "Linguaggi e traduttori" @ UniMI

Language: HTML - Size: 1.2 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2 - Forks: 0

Chaoses-Ib/FormalLanguages

Language: Markdown - Size: 1.3 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 7 - Forks: 2

chendamere/UL_ProofAssistance

a proof assistance for Universal Language, a language for proving and forming concepts from data-structure operations. (learn more at the book The Way Of Machine Thinking by Weili Chen)

Language: TeX - Size: 33.9 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

automatarium/automatarium

A place for automata

Language: TypeScript - Size: 6.62 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 73 - Forks: 11

Amrita-TIFAC-Cyber-Blockchain/Formal-Methods-Blockchain

Formal Methods for Blockchain & Smart Contracts

Size: 6.45 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 3 - Forks: 2

figlerg/VolTRE

Volumetry and uniform sampling methods for timed regular expressions.

Language: Python - Size: 12.3 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0

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.

Language: Python - Size: 1.84 MB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 486 - Forks: 64

pkoopongithub/algorithmisch-rekursive-sequenzanalyse

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

Language: Jupyter Notebook - Size: 105 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 42 - Forks: 0

Aunsiels/pyformlang

A python library to manipulate formal languages and various automata

Language: Python - Size: 513 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 48 - Forks: 12

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.

Size: 24.4 KB - Last synced at: 8 days ago - Pushed at: 4 months ago - Stars: 27 - Forks: 2

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).

Language: Scala - Size: 2.25 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 0

RezaGooner/Push-Down-Automaton

Language: C++ - Size: 692 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 0

krishnachandran-u/pykleene

Python library for building and simulating automata and formal grammars

Language: Python - Size: 3.14 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 8 - Forks: 0

haanhtuandev/Plant-Growth-Simulator

The Virtual Greenhouse Simulator is an interactive web application that demonstrates the impact of environmental factors on plant growth.

Language: JavaScript - Size: 747 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

filippodaniotti/Appunti-LFC

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

Language: TeX - Size: 8.09 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 34 - Forks: 11

toduko/languages-automata-and-computability

Материалите ми за упражнения по "Езици, автомати и изчислимост"

Language: TeX - Size: 3.14 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

kadircet/CENG

All the homeworks, testers and projects done at METU-CENG

Language: Jupyter Notebook - Size: 30 MB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 18 - Forks: 5

baioc/FormallySharp

Online formal language designer

Language: F# - Size: 1.56 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

syreal17/MaSpX

(WIP) Basic web server veritably containing no stack/heap overflows, memory leaks, null deferences, etc

Language: Ada - Size: 15.2 MB - Last synced at: 5 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 1

Lemniscate-world/Robust-Lambda

Building a functional untyped lambda calculus interpreter with a visual reduction tracer.

Language: JavaScript - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

mehanix/teme-fmi

🎓 Homework/Coursework during my bachelor's in Computer Science

Language: Haskell - Size: 313 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 0

abdellaui/formal_languanges_cs_webviewer

[LIVE-DEMO] simple from scratch created web-interface for processing "all chomsky hierarchy based formal languages" in theoretical computer science, implemented with vanilla HTML & JavaScript | click here:

Language: JavaScript - Size: 2.12 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

Alpha-Innovator/GeoX

Code for GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training

Language: Python - Size: 6.73 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 18 - Forks: 1

ronit127/formal-regular-expressions

Code that parses (formal) regular expressions

Language: Python - Size: 93.8 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

ttwag/p13_lean4_natural_number_game_solution

Contains the solution to the natural number game in lean 4

Language: Lean - Size: 12.7 KB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

Andy-Messer/formal-languages-practice-2

Realization of Earley's algorithm

Language: Python - Size: 950 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

tuke307/dhbw-formal-languages-and-automata

Language: C - Size: 71.3 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vvulpes0/Language-Toolkit-2

A set of tools for analyzing languages via logic and automata

Language: Haskell - Size: 1.93 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 24 - Forks: 0

knowsys/FormaleSysteme

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

Language: TeX - Size: 5.23 MB - Last synced at: 12 days ago - Pushed at: about 1 year ago - Stars: 44 - Forks: 14

fofajardo/fjflap

F's Modified Java Formal Languages and Automata Package (JFLAP) with semi-complete version history.

Language: Java - Size: 11.3 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

fabeezz/LFA

Formal Languages and Automata / Limbaje Formale și Automate / Y1S2

Language: Python - Size: 5.1 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

JuanM0412/SyntaxAnalysis

Top-Down parser and Bottom-UP parser final project for Formal Languages and Compilers.

Language: Python - Size: 58.6 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

navidadkhah/CYK-algorithm

Automata Theory and Formal Languages algorithm for check them

Language: Python - Size: 2.93 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

krichelj/ALIO_BGU_2020

Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020

Size: 611 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

LambdaDelta-Lab/FLT-in-Ruby

Introdução à Teoria das Linguagens Formais em Ruby

Language: Ruby - Size: 92.8 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

micycle1/PFLAP

Processing Formal Languages and Automata Package

Language: Java - Size: 4.01 MB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 1

akashnag/autosim

An automata simulator written in Java, supporting Moore, Mealy, TM, DFA, NFA, DPDA, NPDA, CFG

Language: Java - Size: 54.7 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

iperezav/CFSpy

A package to simulate the output of a control system by means of the Chen-Fliess series.

Language: Python - Size: 177 KB - Last synced at: 15 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

YaccConstructor/LangToGroup

Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell

Language: Haskell - Size: 1.65 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 7

melgoharyme/Finite-Automaton-Acceptance-Checker

This repository contains a Python program for checking the acceptability of strings in a Finite State Machine (FSM). The program allows users to define the FSM by providing the number of states, inputs, transitions, and final states. It then evaluates user-provided strings to determine if they are acceptable within the specified FSM.

Language: Python - Size: 836 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

IDSIA/fwp-formal-lang

Official repository for the paper "Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions" (EMNLP 2023)

Language: Cuda - Size: 44.9 KB - Last synced at: 29 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

kbnim/fonya-jegyzetek

ELTE-IK Formális nyelvek és a fordítóprogramok alapjai

Language: TeX - Size: 1.71 MB - Last synced at: 7 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

AlexeyLunyakov/Formal-Languages-Course-Prac

Practical work on the subject: "Theory of formal languages"

Language: C++ - Size: 4.23 MB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

basar-yilmaz/METU-CENG

This repo includes most of the assignments of ceng department.

Language: Assembly - Size: 131 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

meyer1994/regular

Project done for formal languages and compilers class

Language: JavaScript - Size: 1.05 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

BrunoAndreMattos/trabalho-chatbot

Trabalho final da cadeira Linguagens Formais e Autômatos 2019/01

Language: Python - Size: 4.36 MB - Last synced at: 12 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

RodrigoRVSN/grammar

📚 Formal languages grammar exercise

Language: Rust - Size: 1000 Bytes - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Frosendroska/fl-2021-hse-win Fork of kajigor/fl-2021-hse-win

Homeworks for "Formal languages" course

Size: 20.9 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

choukh/Set-Theory

A formalization of the textbook Elements of Set Theory

Language: Coq - Size: 3.79 MB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 59 - Forks: 4

SerenGTI/Theo_Inf

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

Language: TeX - Size: 9.13 MB - Last synced at: 5 days ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0

0ur0bor0s/2nf

A customization of the of the CYK Algorithm.

Language: Java - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

Anduis/AutomatonConverter

Transforming a regular expression into a nondeterministic automaton, then into a deterministic automaton, and back to a regular expression.

Language: Java - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

domenicodegioia/transpiler_C2Python

Simple implementation of a source-to-source compiler from C to Python for the course Formal Languages and Compiler at Polytechnic University of Bari

Language: C - Size: 486 KB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

Blackdeer1524/BMSTU-Formal-Languages

Лабораторные работы по курсу "Теория Формальных Языков"

Size: 3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

arekfu/grammar-haskell

A Haskell library to manipulate context-free grammars and generate random sentences.

Language: Haskell - Size: 198 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

h-ssiqueira/LFA---Gram-tica-Identificadora-de-Linguagem Fork of RafaelBarbon/LFA---Gram-tica-Identificadora-de-Linguagem

Analisador de sintaxe de uma simples linguagem de programação

Language: C - Size: 242 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

geekabhinav007/TOC-Short

In this Repo you can find CheatSeat for Theory of Computation and last minutes notes for your semester.

Size: 3.65 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

doingitraith/Dialogue-Generation

The project for my Bachelor thesis about creating dialogue for video games using formal grammars. The project is using the Expressionist tool by James Ryan

Language: Python - Size: 303 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Alexey-Sagaydak/Compiler

Текстовый редактор с функциями языкового процессора (курсовая работа по теории формальных языков и компиляторов (ТФЯиК) за 6 семестр)

Language: C# - Size: 3.13 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

robomean/Formal-Parsers

C++ Parsers

Language: C++ - Size: 37.1 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Ghenntoggy1/LFA-Laboratory-Works

Laboratory Works done during LFM (Formal Languages and Automata) Course at TUM

Language: Python - Size: 1.32 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

KUHLwasStolen/mafl-library

Useful tools for people interested in mathematics and computer science (with a focus on the latter)

Language: C - Size: 314 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

jmesyou/cs4tb3 📦

Collection of labs for compilers course @ McMaster

Language: Python - Size: 1.23 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Giga-Chad-LLC/pushdown-automata

Formal languages course project for sophomore year at HSE SPb

Language: Python - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

gdellapenna/PCT_SGtoTS

(PCT) Spatial Grammars to Translation Schema Algorithm

Language: Java - Size: 75.2 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

osLeonardo/LinguagensFormais 📦

Language: C# - Size: 16.6 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

muhammadnajie/simple-interpreter

Simple Interpreter using Formal Languages and Automata

Language: C++ - Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

jeevanshajujohn/Simulation_of_Automata

Learning how to simulate a grammer in a Non Deterministic Finite Automata

Language: Java - Size: 15.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

raoulsuli/Formal-Languages-and-Automata

Formal Languages and Automata Course (2020-2021)

Language: Python - Size: 41 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

cristianpenteado/turing-machine

Máquina de Turing para palíndromos binários

Language: JavaScript - Size: 82 KB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

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.

Language: GAP - Size: 39.4 MB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 8 - Forks: 17

SergiPerez73/regEx-Regular-Expressions-interpreter

This project implements a regular expression interpreter. It allows the user to give a regular expression that corresponds to a language, wich will be the solution of a problem. Then, the user can try to write a regular expression that recognizes the same language to solve the problem getting help from different tools available.

Language: Python - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

opencourses/formal_languages_and_compilers

In this repository I will put some exercise about formal languages and compilers

Language: Lex - Size: 685 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

shilangyu/balanced-parentheses-dart-3

Solving balanced parentheses problem using Dart 3 type system

Language: Dart - Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

johnsonstephan/awesome-web3-formal-verification

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

Size: 63.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

elifozmen/Deterministic-Finite-Automata--DFA-

Please read the Design Report.

Language: Java - Size: 374 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

thallesBueno/TF_LFA_REACT

Language: JavaScript - Size: 442 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lilipenggg/formal-language-100e

Language: Java - Size: 1.11 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

choukh/MetaLogic

first-order logic and set theory

Language: Agda - Size: 340 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

AlekIks/finite_state_machine

Language: Jupyter Notebook - Size: 495 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

negativefnnancy/NanGram

Small little context-free expression generator and parser using user provided EBNF-like source.

Language: Python - Size: 23.4 KB - Last synced at: 4 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 1

RossPaterson/teaching-gadgets

web gadgets for teaching

Language: TypeScript - Size: 197 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1

Dpbm/turing-machine

A turing machine automaton based library for studies.

Language: Java - Size: 896 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

hazimavdal/regex

A library for parsing and operating on formal regular expressions

Language: Standard ML - Size: 22.5 KB - Last synced at: 10 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

MemerGamer/FormalisNyelvek

Formális nyelvek labor feladatok 2023 - Sapientia EMTE

Language: Rust - Size: 466 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

kooixh/rewrite-system

My third year University dissertation, Term Rewriting System

Language: Java - Size: 825 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

grockious/deepsynth

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

Language: Python - Size: 260 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 2

husain3012/automatasim

A simulator, and sharing platform, for automatons.

Language: TypeScript - Size: 324 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

elblasco/LFC

Linguaggi Formali e Compilatore A.A. 2022/2023

Language: C - Size: 139 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

azaat/minimal_graph_db

CF Query minmal graph DB, programming assignments for the formal languages course in St Petersburg University

Language: Python - Size: 405 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

cristian404dev/regular-expressions 📦

Aplicação de expressões regulares (regex) contidas num arquivo .csv no body de qualquer página da web.

Language: JavaScript - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

cristian404dev/deterministic-finite-automaton

Deterministic finite automaton in Java

Language: Java - Size: 56.6 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

jakubriegel/PUTflap

Extension of JFLAP. Provides command line interface, automaton and words generation and JSON results. Written in Kotlin.

Language: Java - Size: 3.37 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

micalevisk/LFA-2016-2 📦

:mortar_board: :books: Linguagens Formais e Autômatos (ICC040) :house: :octocat: :white_check_mark:

Language: Shell - Size: 15.6 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

RafahCSilva/DFAjudge

DFAjudge - Sistema de auxílio na aprendizagem da disciplina de Linguagens Formais e Autômatos

Language: PHP - Size: 3.13 MB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0