sir-onze Goto Github PK

actp

Practical assignement of Formal Methods

ansible

Trabalho prático de Sytem Deployment and Benchmarking

antlr-samples

Some small grammars and projects that explore JAVA antlr4 listeners and visitors.

base-de-dados

Trabalho prático de Base de Dados

calc-monaco-editor

A browser based editor for a simple DSL to perform calculations

code2seq

Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

em

Trabalho prático de especificação e modelação

formal-verification

Formal verification notes. Includes coq and why3 files

geonode

GeoNode is an open source platform that facilitates the creation, sharing, and collaborative use of geospatial data.

javavulnerablelab

Vulnerable Java based Web Application

laq-olap

Linear algebra querying - Online Analytical Processing

larkexamples

Some lark implementations used to demonstrate to students during practical lessons of Engenharia Gramatical at Universidade do Minho.

letters

Trabalho prático de Processamento de linguagens - GAWK

li3

Trabalho de Laboratórios de Informatica 3

nimbusapp

Trabalho prático de Desenvolvimento de Sistemas de Software

node-graphdb-automatization

Trabalho prático de SPLN

nutsiii

Ficheiro geojson com informações relativas às NUTSIII do Norte de Portugal

pi

Fichas da cadeira de Programação Imperativa

prc

Cadeira de processamento e representação de conhecimento

prc2020-fifa-1

project for the subject PRC about FIFA data and ontologies. More description will be made

pri-19-20

Trabalhos de casa - A75328

pri_teste

projeto-li2

Trabalho prático de Laboratórios de Informática 2

rdf2html

Simple python package to show small RDF ontologies in a HTML page

rei

Projeto do perfil de PLC - A rede de engenharia Informática

sistemas-distribuidos

Fichas Práticas de Sistemas Distribuídos

so18

Trabalho prático de Sistemas Operativos

srcr

Trabalho prático de Sistemas de Representação de conhecimento

tradutor-yaml-json

Trabalho Prático de PL