Block or report user

Report or block Bpalkmim

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. SQLtoSWRL

    A compiler from SQL to SWRL in Lua using LPeg to generate the AST.

    Lua 1 1

  2. 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ór…

    Haskell

  3. JuliaPractice

    Aprendendo Julia, fazendo arte (não no sentido artístico).

    Julia

  4. LambdaParser

    Um parser para expressões de Lambda Calculus em Haskell.

    Haskell

  5. LeanNatD

    Biblioteca para provas em Dedução Natural em LEAN, utilizando Teoria Intuicionista dos Tipos.

    Lean

  6. NatDProver

    Provador automático de teoremas utilizando dedução natural em Lua (utilizando como base o código do Jefferson do Tecmf).

    Lua 1

26 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2018

Bpalkmim has no activity yet for this period.

June 2018

Seeing something unexpected? Take a look at the GitHub profile guide.