Pinned Repositories
SQLtoSWRL
A compiler from SQL to SWRL in Lua using LPeg to generate the AST.
CombinatorInterpreter
Um parser para expressões Lambda estendidas (que incluem combinadores S, K, I, C e B), que elimina as Lambda abstrações (essencialmente transformando-as em expressões puramente em lógica combinatória) e um interpretador/avaliador de expressões em lógica combinatória.
JuliaPractice
Aprendendo Julia, fazendo arte (não no sentido artístico).
LambdaParser
Um parser para expressões de Lambda Calculus em Haskell.
LeanNatD
Biblioteca para provas em Dedução Natural em LEAN, utilizando Teoria Intuicionista dos Tipos.
NatDProver
Provador automático de teoremas utilizando dedução natural em Lua (utilizando como base o código do Jefferson do Tecmf).
EstOrientadoLean
Notas de aula de ITT (Martin-Löf) do Hermann, em 2019.1.
AdventuresInWeb
Repositório para criação de um site pessoal, com o objetivo de aprender programação web.
Arndt
iALC
Validando as provas de correção e completude de iALC utilizando Lean.
Bpalkmim's Repositories
Bpalkmim/SQLtoSWRL
A compiler from SQL to SWRL in Lua using LPeg to generate the AST.
Bpalkmim/EstOrientadoLean
Notas de aula de ITT (Martin-Löf) do Hermann, em 2019.1.
Bpalkmim/NatDProver
Provador automático de teoremas utilizando dedução natural em Lua (utilizando como base o código do Jefferson do Tecmf).
Bpalkmim/AdventuresInWeb
Repositório para criação de um site pessoal, com o objetivo de aprender programação web.
Bpalkmim/Arndt
Bpalkmim/CombinatorInterpreter
Um parser para expressões Lambda estendidas (que incluem combinadores S, K, I, C e B), que elimina as Lambda abstrações (essencialmente transformando-as em expressões puramente em lógica combinatória) e um interpretador/avaliador de expressões em lógica combinatória.
Bpalkmim/iALC
Validando as provas de correção e completude de iALC utilizando Lean.
Bpalkmim/iALC_ND_proofs
Full proofs for the Natural Deduction system developed for the logic iALC.
Bpalkmim/JuliaPractice
Aprendendo Julia, fazendo arte (não no sentido artístico).
Bpalkmim/LadyLuck
Pequeno projeto em Lua para a disciplina INF1629 - Princípios de Engenharia de Software. Simula jogadas de dados de até 20 faces, e plota o gráfico com histórico das jogadas, permitindo importação e exportação como CSV.
Bpalkmim/LambdaParser
Um parser para expressões de Lambda Calculus em Haskell.
Bpalkmim/lean
Lean Theorem Prover
Bpalkmim/LeanNatD
Biblioteca para provas em Dedução Natural em LEAN, utilizando Teoria Intuicionista dos Tipos.
Bpalkmim/LinearTransformusic
Trabalho da matéria INF2034 - Álgebra Linear Tipada
Bpalkmim/reativos
Projeto(s) da disciplina INF1805 - Sitemas Reativos, em 2014.2
Bpalkmim/RoomManager
Um arranjador de quartos (de duas pessoas) em Lua, que fiz para, a priori, facilitar organização de viagens do Coral da PUC (e praticar Lua também).
Bpalkmim/sequent-prover
A graph based theorem prover
Bpalkmim/SWRLtoDatalog
A parser from (a part of) SWRL to Datalog.