adolfont/brazilian-cs-research adolfont/brazilian-cs-research

  • Stars
    star
    49
  • Rank 585,874 (Top 12 %)
  • Language
  • Created over 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
adolfont/brazilian-cs-research
github

adolfont

Reviews

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

Repository Details

Curated lists related to Brazilian Computer Science research and researchers

More Repositories

1

caes005-introduction-to-functional-programming

CAES005 - Introdução à Programação Funcional
Elixir
83
star
2

elixir_cop

The Elixir Community of Practice
41
star
3

Logicamente-UTFPR

A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.
Java
10
star
4

KEMS

A KE-based Multi-Strategy Tableau Prover
Java
6
star
5

pensandoemelixir

Pensando em Elixir
HTML
5
star
6

LearningProgramming

Learning Programming Languages
Smalltalk
4
star
7

PPGCA

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

podcast_es

3
star
9

computacaobrasil

3
star
10

C1-Prover-in-LISP

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

Dojo-UTFPR

Coding Dojos at UTFPR
HTML
2
star
12

tableau

Implementation of Tableau Methods in Elixir
Elixir
2
star
13

Util

Alguns utilitários
Python
2
star
14

podcast_backuper

Podcast Backuper allows you to have private copies of any podcast that has a RSS
Elixir
2
star
15

beam-videos

Elixir
2
star
16

Logic-Dojo

Some tools for running Logic Dojos
Python
2
star
17

techpodcastsbr

Listagem de podcasts ativos de tecnologia
2
star
18

JogoDaVelha

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

MV-KEMS

KEMS for Multi-Valued Logics
Java
1
star
20

extensao-computacao

Iniciativas de Extensão na Área de Computação
1
star
21

elixir_exercises

Exercises for my Sequential Elixir course
Elixir
1
star
22

txt2tags_latex_tests

txt2tags_latex_tests
Shell
1
star
23

KEMS2

Second version of KEMS
Clojure
1
star
24

Logic-in-Computing

Material for "Logic in Computing"
Clojure
1
star
25

emilias-podcast

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

caes001-agile-software-development

Agile Software Development at UTFPR
1
star
27

logic-in-lua

Small programs for Logic written in Lua
Lua
1
star
28

java-logic-package

A package for representing logical systems in Java
1
star