Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with esercizi

A curated list of projects in awesome lists tagged with esercizi .

https://github.com/archetipo95/pao-esercizi

Raccolta di esercizi di Programmazione ad Oggetti Unipd (P2) in preparazione all'esame.

cpp esercizi fiup p2 pao

Last synced: 16 Nov 2024

https://github.com/emanuelec/teoria-dei-tipi

Appunti ed esercizi del corso "Teoria dei tipi" - università degli studi di Padova, corso di laurea in Informatica

coq esercizi exercises logica martin-lof matematica math proof-assistant teoria-dei-tipi type-theory unipd

Last synced: 09 Nov 2024

https://github.com/archetipo95/esercizi-automi-e-linguaggi-formali

Raccolta esercizi svolti in jflap 8 beta durante il corso di Automi e Linguaggi Formali.

alf automata esercizi jflap pushdown-automaton regular-expression turing-machine

Last synced: 16 Nov 2024