dronperminov/LTLtoBuchiAutomaton

Stars
2
Language
JavaScript
Created over 3 years ago
Updated over 2 years ago

dronperminov/LTLtoBuchiAutomaton

dronperminov

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Реализация алгоритма построения автотата Бюхи по формуле LTL

StringArtGenerator

Генератор изображений в стиле StringArt

TuringCpu

Симулятор CPU на машине Тьюринга

ImageLabelerApp

Implementation of flask application for image labeling

LongDouble

Implementation of long real ariphmetics

ImageClassifier

Implementation of images classifier in JS and Flask

GameTheorySolvers

Различные решатели в помощь по курсу "Теории игр"

LabyrinthPaperGame

Реализация игры лабиринт на бумажном поле

HELL

Healthy Educational LifestyLe

GeneticAlgorithm

Implementation of universal genetic algorithm by the example of a one-dimensional function optimization

ParagraphLabelerApp

Implementation of application for half automatic labeling paragraphs in image of document

SLAEAttack

Реализация атаки на полносвязную сеть с использованием методов линейной алгебры

FinancialManager

Простой менеджер финансов на JS, Python и Flask

TuringMachine

Реализация машины Тьюринга на Javascript

DeepQLearningExperiments

Эксперименты с DQM

LeetCode

Решения задач с leetcode.com

StandUpBot

Бот для Telegram оповещающий о проведении ежедневного stand'up

DocumentSegmentationLossesVisualizer

Визуализатор различных функций потерь / метрик для сегментации изображений документов

KeyValueDataExtractionLabeler

Приложение для разметки извлекаемых пар "ключ-значение" из изображений

music-quiz-old

Приложение для угадывания исполнителей и строчек песен

MachineLearningAndArtificialIntelligenceTask

Реализация практического задания в рамках математического спецкурса "Машинное обучение и искусственный интеллект" на ВМК МГУ в 2022

SupercomputerModelingTechnologyTask1

Реализация первого практического задания в рамках курса "Суперкомпьютерное моделирование и технологии"

SupercomputerModelingTechnologyTask2

Реализация второго практического задания в рамках курса "Суперкомпьютерное моделирование и технологии"

ReinforcementLearning

Эксперименты с различными методами обучения с подкреплением

ReinforcementLearningPytorch

Реализация различных алгоритмов обучения с подкреплением с использованием фреймворка Pytorch

SwipeImageClassificationMarkup

Классификация изображений с помощью жестов

wishlist

Simple wish list

TuringMachineCpuSimulator

Возможно, однажды, тут будет симулятор простого процессора на машинах Тьюринга

flake8-fill-one-line

A Flake8 plugin to ensure an expression can be written in one line

movie-quiz

Приложение для угадывания названий фильмов, мультфильмов и сериалов по сюжету, обложке или актёрам

plush-anvil-old

Приложение для сайта Плюшевой наковальни

DCGAN

Implementation of DCGAN for generating 64x64 rgb images

BDDCalculator

Построение BDD по формуле алгебры-логики

ConvexHull

Implementation of algorithms of construction of minimal convex hulls

Bluetooth-R2R-DAC

Sketch for test R2R DAC with Arduino and HC-06 module

NumericalMethods

Implementation of various numerical methods such as interpolation, integration, optimization and etc.

HashTables

Implementation of hash table structures in C++ with templates

ImageLabeler

Instruments for image labeling