Skip to content

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

Change the repository type filter

All

    Repositories list

    46 repositories

    • APEGHaskell

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Oct 27, 2024Oct 27, 2024

    • pest-control

      Public
      Racket
      •
      MIT License
      •0•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • typed-peg-stack

      Public
      Racket
      •
      Other
      •0•0•0•0•Updated Oct 2, 2024Oct 2, 2024

    • EthereumRedex

      Public
      Racket
      •0•1•0•0•Updated Sep 9, 2024Sep 9, 2024

    • apeg-redex

      Public
      A Redex formalization of APEG
      Racket
      •0•1•0•0•Updated Aug 23, 2024Aug 23, 2024

    • cfg-entry-generator

      Public
      A Rackcheck implementation of CFG entry generator
      Racket
      •0•0•0•0•Updated Aug 8, 2024Aug 8, 2024

    • peg-parser

      Public
      Java
      •
      Other
      •0•0•0•0•Updated Aug 2, 2024Aug 2, 2024

    • Left-Recursion-Elimination-Formalization

      Public
      HTML
      •0•0•0•0•Updated Jun 23, 2024Jun 23, 2024

    • typed-peg

      Public
      Racket
      •
      Other
      •1•2•2•0•Updated Jun 19, 2024Jun 19, 2024

    • peg-vm-typing

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Mar 25, 2024Mar 25, 2024

    • ebpf-dsl

      Public
      Simple DSL for ebpf programs.
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Mar 13, 2024Mar 13, 2024

    • pegwfgen

      Public
      Random generation of well type (and thus well formed) PEGs
      HTML
      •
      Other
      •1•0•0•0•Updated Feb 18, 2024Feb 18, 2024

    • automata-language

      Public
      Racket
      •
      Other
      •0•0•4•0•Updated Feb 16, 2024Feb 16, 2024

    • ll-1-grammar-generator

      Public
      Racket
      •0•0•0•0•Updated Dec 7, 2023Dec 7, 2023

    • jpeg

      Public
      Java
      •0•0•0•0•Updated Nov 1, 2023Nov 1, 2023

    • vpeg

      Public
      JavaScript
      •0•1•0•0•Updated Oct 10, 2023Oct 10, 2023

    • redexPEG

      Public
      Racket
      •1•3•3•0•Updated Sep 22, 2023Sep 22, 2023

    • regex-transformation

      Public
      Coq
      •0•0•0•0•Updated Sep 19, 2023Sep 19, 2023

    • APEG

      Public
      Java
      •0•2•5•6•Updated Jun 13, 2023Jun 13, 2023

    • PEGDerivate

      Public
      Racket implementation of PEGs Derivates
      Racket
      •
      Other
      •0•0•0•0•Updated Mar 17, 2023Mar 17, 2023

    • PegSSM

      Public
      Haskell
      •1•1•0•0•Updated Nov 30, 2022Nov 30, 2022

    • lives-group.github.io

      Public
      SCSS
      •1•0•0•2•Updated Oct 6, 2022Oct 6, 2022

    • terminating-expansion

      Public
      Trying to have some fun on expanding terms to ensure termination.
      Agda
      •0•0•0•0•Updated Mar 7, 2022Mar 7, 2022

    • list-machine

      Public
      TeX
      •0•0•0•0•Updated Nov 27, 2021Nov 27, 2021

    • RacketCourse

      Public
      A course on how to construct DSL in Hacket using REDEX.
      0•0•0•0•Updated Oct 5, 2021Oct 5, 2021

    • racket-ebpf

      Public
      TeX
      •0•1•0•0•Updated Aug 31, 2021Aug 31, 2021

    • proof-search

      Public
      TeX
      •0•1•0•0•Updated Jul 28, 2021Jul 28, 2021

    • exp-gen

      Public
      Sample code for type expression generation using Quickcheck
      Haskell
      •0•0•0•0•Updated Mar 19, 2021Mar 19, 2021

    • racket-dsl-tutorial

      Public
      Code for a tutorial on building DSLs with Racket
      Racket
      •
      Other
      •0•1•0•0•Updated Nov 9, 2020Nov 9, 2020

    • consistency

      Public
      Verified proofs for consistency of propositional logics
      TeX
      •0•0•0•0•Updated Aug 29, 2020Aug 29, 2020