Pinned Loading

1. geoki-jiten geoki-jiten Public

   Dicionário bilíngue do português brasileiro para o okinawano implementado em um sistema de busca com informações de entonação, verbete e classe gramatical

   JavaScript 3

2. CS-Intro CS-Intro Public

   Repositório para o estudo introdutório de tópicos em Ciência da Computação.

   Python 1

3. LambdaDelta-Lab/FLT-in-Ruby LambdaDelta-Lab/FLT-in-Ruby Public

   Introdução à Teoria das Linguagens Formais em Ruby

   Ruby 2

4. Montague-Test Montague-Test Public

   Forked from zwanzigerc/Montague-Test

   Formalização semântica de sentenças pelo Teste de Montague implementada em Agda

   Agda 1