adolfont/KEMS2 adolfont/KEMS2

  • Stars
    star
    1
  • Language
    Clojure
  • Created over 12 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
adolfont/KEMS2
github

adolfont

Reviews

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

Repository Details

Second version of KEMS

More Repositories

1

caes005-introduction-to-functional-programming

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

brazilian-cs-research

Curated lists related to Brazilian Computer Science research and researchers
49
star
3

elixir_cop

The Elixir Community of Practice
41
star
4

Logicamente-UTFPR

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

KEMS

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

pensandoemelixir

Pensando em Elixir
HTML
5
star
7

LearningProgramming

Learning Programming Languages
Smalltalk
4
star
8

PPGCA

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

podcast_es

3
star
10

computacaobrasil

3
star
11

C1-Prover-in-LISP

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

Dojo-UTFPR

Coding Dojos at UTFPR
HTML
2
star
13

tableau

Implementation of Tableau Methods in Elixir
Elixir
2
star
14

Util

Alguns utilitários
Python
2
star
15

podcast_backuper

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

beam-videos

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

JogoDaVelha

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

MV-KEMS

KEMS for Multi-Valued Logics
Java
1
star
21

extensao-computacao

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

elixir_exercises

Exercises for my Sequential Elixir course
Elixir
1
star
23

txt2tags_latex_tests

txt2tags_latex_tests
Shell
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