adolfont/podcast_backuper

Stars
2
Language
Elixir
Created over 2 years ago
Updated almost 2 years ago

adolfont/podcast_backuper

adolfont

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

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

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

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

extensao-computacao

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

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