adolfont/extensao-computacao

Stars
1
Language
Created over 4 years ago
Updated over 4 years ago

adolfont/extensao-computacao

adolfont

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

Iniciativas de Extensão na Área de Computação

caes005-introduction-to-functional-programming

CAES005 - Introdução à Programação Funcional

brazilian-cs-research

Curated lists related to Brazilian Computer Science research and researchers

elixir_cop

The Elixir Community of Practice

Logicamente-UTFPR

A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.

KEMS

A KE-based Multi-Strategy Tableau Prover

pensandoemelixir

Pensando em Elixir

LearningProgramming

Learning Programming Languages

PPGCA

Informações Públicas sobre o PPGCA-CT UTFPR

podcast_es

computacaobrasil

C1-Prover-in-LISP

A tableau-based C1 prover originally written by Arthur Buchsbaum (UFSC)

Dojo-UTFPR

Coding Dojos at UTFPR

tableau

Implementation of Tableau Methods in Elixir

Util

Alguns utilitários

podcast_backuper

Podcast Backuper allows you to have private copies of any podcast that has a RSS

beam-videos

Logic-Dojo

Some tools for running Logic Dojos

techpodcastsbr

Listagem de podcasts ativos de tecnologia

JogoDaVelha

Exemplo de implementação bastante simplificada do Jogo da Velha em Ruby

MV-KEMS

KEMS for Multi-Valued Logics

elixir_exercises

Exercises for my Sequential Elixir course

txt2tags_latex_tests

txt2tags_latex_tests

KEMS2

Second version of KEMS

Logic-in-Computing

Material for "Logic in Computing"

emilias-podcast

Emílias Podcast - O podcast do Programa de Extensão Emílias Armação em Bits da UTFPR Curitiba

caes001-agile-software-development

Agile Software Development at UTFPR

logic-in-lua

Small programs for Logic written in Lua

java-logic-package

A package for representing logical systems in Java