adolfont/logic-in-lua adolfont/logic-in-lua

  • Stars
    star
    1
  • Language
    Lua
  • Created about 15 years ago
  • Updated about 15 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
adolfont/logic-in-lua
github

adolfont

Reviews

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

Repository Details

Small programs for Logic written in Lua

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

KEMS2

Second version of KEMS
Clojure
1
star
25

Logic-in-Computing

Material for "Logic in Computing"
Clojure
1
star
26

emilias-podcast

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

caes001-agile-software-development

Agile Software Development at UTFPR
1
star
28

java-logic-package

A package for representing logical systems in Java
1
star