adolfont/caes005-introduction-to-functional-programming adolfont/caes005-introduction-to-functional-programming

  • Stars
    star
    83
  • Rank 380,664 (Top 8 %)
  • Language
    Elixir
  • License
    Creative Commons ...
  • Created almost 5 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
adolfont/caes005-introduction-to-functional-programming
github

adolfont

Reviews

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

Repository Details

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

More Repositories

1

brazilian-cs-research

Curated lists related to Brazilian Computer Science research and researchers
49
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
5
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

Dojo-UTFPR

Coding Dojos at UTFPR
HTML
2
star
11

C1-Prover-in-LISP

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

JogoDaVelha

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

tableau

Implementation of Tableau Methods in Elixir
Elixir
2
star
14

Util

Alguns utilitários
Python
2
star
15

beam-videos

Elixir
2
star
16

podcast_backuper

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

Logic-Dojo

Some tools for running Logic Dojos
Python
2
star
18

techpodcastsbr

Listagem de podcasts ativos de tecnologia
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

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