Explore @lives-group Open Source projects

Grupo de Linguagens de Programação, Verificação e Especificação de Software da UFOP (@lives-group)

lives-group

Stars
24
Global Org. Rank 109,894 (Top 35 %)
Registered over 10 years ago
Most used languages

Racket
35.7 %

Haskell
21.4 %

TeX
14.3 %

Agda 14.3 %

JavaScript
7.1 %

Java
7.1 %

time-complexity-verification

Formal verification of time complexity of some algorithms in Agda

redexPEG

APEG

red-black-trees-agda

A formalization of red-black trees in Agda

typed-peg

EthereumRedex

proof-search

racket-dsl-tutorial

Code for a tutorial on building DSLs with Racket

APEGHaskell

vpeg

racket-ebpf

PegSSM

apeg-redex

A Redex formalization of APEG

arduinoLTL