lisandrasilva

Pinned Repositories

agda-liveness
Language:Agda10
bft-consensus-agda-1
Language:Agda00
binary_trees
some functions and descriptions about binary trees
Language:HTML00
emacs-config
My Emacs configuration repo.
Language:Emacs Lisp10
rv-bx
Work developed during the internship at NII (Tokyo, Japan). Implementation of a Bidirectional Transformation between Non-Deterministic Finite Automaton and Deterministic Finite Automaton.
Language:Haskell00
PL-1617
Trabalho prático realizado no âmbito da UC Processamento de Linguagens do Mestrado Integrado em Engenharia Informática
Language:TeX00
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Python506 55 347140
k
K Framework Tools 7.0
Language:Java442 37 1.2k145
publications
Publications of Runtime Verification, Inc.
Language:HTML87 27 020
1718-G4
Grupo 4
Language:Python00

lisandrasilva's Repositories

lisandrasilva/agda-liveness
Language:Agda10
lisandrasilva/emacs-config
My Emacs configuration repo.
Language:Emacs Lisp10
lisandrasilva/bft-consensus-agda-1
Language:Agda00
lisandrasilva/binary_trees
some functions and descriptions about binary trees
Language:HTML00
lisandrasilva/rv-bx
Work developed during the internship at NII (Tokyo, Japan). Implementation of a Bidirectional Transformation between Non-Deterministic Finite Automaton and Deterministic Finite Automaton.
Language:Haskell00