Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / marcotinacci / XTuring
Public GitHub Catalog Discovered Sep 26, 2026

marcotinacci / XTuring

Xtext training with a language for Turing machines

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#6564623GitHub System ID
marcotinacciOrganization / User
PublicVisibility
ActiveCatalog Status

More from marcotinacci

↗

marcotinacci/Gogl

Go player implementation for the Turing Anniversary Competition at the University of Florence

Discovered
↗

marcotinacci/SwarmRobotics

Bachelor's thesis in computer science. SEAL is a language developed in Xtext and Java that model probabilistic and nondeterministic behaviors of adaptive agents. SEAL is compiled in the Prism model checker language to compute strategies that maximize probabilities of goal formulas.

Discovered
↗

marcotinacci/PMango-Diagrams

This is a module of output functions for Gantt, task network and work breakdown structure diagrams in the application PMango.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.