Skip to content
@hephaestus-pl

hephaestus-pl

Popular repositories Loading

  1. coqfj coqfj Public

    A mechanized proof of type safety for Featherweight Java using Coq

    Coq 16 1

  2. hffj hffj Public

    An implementation of Feature Featherweight Java (FFJ) using Hephaestus.

    Coq 3

  3. coqffj coqffj Public

    Coq 2

  4. hephaestus hephaestus Public

    Haskell

  5. hephaestus-base hephaestus-base Public

    Haskell 1

  6. feature-modelling feature-modelling Public

    Haskell

Repositories

Showing 10 of 12 repositories
  • coqfj Public

    A mechanized proof of type safety for Featherweight Java using Coq

    hephaestus-pl/coqfj’s past year of commit activity
    Coq 16 MIT 1 0 0 Updated Aug 4, 2018
  • hephaestus-spl Public

    The main SPL modules of Hephaestus

    hephaestus-pl/hephaestus-spl’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Mar 23, 2018
  • hephaestus-sc Public

    A simple implementation of a source code asset base.

    hephaestus-pl/hephaestus-sc’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Mar 23, 2018
  • hephaestus-pp Public
    hephaestus-pl/hephaestus-pp’s past year of commit activity
    Haskell 0 1 0 0 Updated Feb 27, 2018
  • hephaestus-base Public
    hephaestus-pl/hephaestus-base’s past year of commit activity
    Haskell 0 1 4 0 Updated Dec 15, 2017
  • feature-modelling Public
    hephaestus-pl/feature-modelling’s past year of commit activity
    Haskell 0 0 0 0 Updated Dec 15, 2017
  • commons Public

    Common utilities needed for the other Hephaestus modules.

    hephaestus-pl/commons’s past year of commit activity
    Haskell 0 0 0 0 Updated Dec 15, 2017
  • funsat Public Forked from rbonifacio/funsat

    An efficient, embeddable DPLL SAT solver in Haskell

    hephaestus-pl/funsat’s past year of commit activity
    HTML 0 BSD-3-Clause 7 0 0 Updated Dec 15, 2017
  • coqffj Public
    hephaestus-pl/coqffj’s past year of commit activity
    Coq 2 MIT 0 0 0 Updated Sep 22, 2017
  • hffj Public

    An implementation of Feature Featherweight Java (FFJ) using Hephaestus.

    hephaestus-pl/hffj’s past year of commit activity
    Coq 3 0 2 0 Updated Nov 26, 2016
View all repositories

Top languages

Loading…

Most used topics

Loading…