Skip to content

@hephaestus-pl hephaestus-pl

Change the repository type filter

All

    Repositories list

    12 repositories

    • coqfj

      Public
      A mechanized proof of type safety for Featherweight Java using Coq
      Coq
      •
      MIT License
      •1•16•0•0•Updated Aug 4, 2018Aug 4, 2018

    • hephaestus-spl

      Public
      The main SPL modules of Hephaestus
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 23, 2018Mar 23, 2018

    • hephaestus-sc

      Public
      A simple implementation of a source code asset base.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 23, 2018Mar 23, 2018

    • hephaestus-pp

      Public
      Haskell
      •1•0•0•0•Updated Feb 27, 2018Feb 27, 2018

    • hephaestus-base

      Public
      Haskell
      •
      Other
      •1•0•4•0•Updated Dec 15, 2017Dec 15, 2017

    • feature-modelling

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Dec 15, 2017Dec 15, 2017

    • commons

      Public
      Common utilities needed for the other Hephaestus modules.
      Haskell
      •0•0•0•0•Updated Dec 15, 2017Dec 15, 2017

    • funsat

      Public
      An efficient, embeddable DPLL SAT solver in Haskell
      HTML
      •
      BSD 3-Clause "New" or "Revised" License
      •7•0•0•0•Updated Dec 15, 2017Dec 15, 2017

    • coqffj

      Public
      Coq
      •
      MIT License
      •0•2•0•0•Updated Sep 22, 2017Sep 22, 2017

    • hffj

      Public
      An implementation of Feature Featherweight Java (FFJ) using Hephaestus.
      Coq
      •0•3•2•0•Updated Nov 26, 2016Nov 26, 2016

    • samples

      Public
      Java
      •0•0•0•0•Updated Mar 7, 2016Mar 7, 2016

    • hephaestus

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Oct 16, 2013Oct 16, 2013