Skip to content

All

    Repositories list

    • JavaScript
      GNU Lesser General Public License v3.0
      3490Updated Jul 8, 2026Jul 8, 2026
    • SCSS
      MIT License
      0013Updated Jul 3, 2026Jul 3, 2026
    • Python
      0100Updated Jul 3, 2026Jul 3, 2026
    • flamapy

      Public
      Python
      GNU Lesser General Public License v3.0
      3711Updated Jul 3, 2026Jul 3, 2026
    • flamapy plugin for scalable approximate model counting (ApproxMC) and almost-uniform sampling (UniGen) of feature-model configurations
      Python
      GNU Lesser General Public License v3.0
      0000Updated Jul 3, 2026Jul 3, 2026
    • d-DNNF (d4) knowledge-compilation plugin for flamapy: exact model counting of feature models at scale
      Python
      GNU Lesser General Public License v3.0
      0000Updated Jul 3, 2026Jul 3, 2026
    • SDD (Sentential Decision Diagram) knowledge-compilation plugin for flamapy: exact model counting and analysis of feature models
      Python
      GNU Lesser General Public License v3.0
      0000Updated Jul 3, 2026Jul 3, 2026
    • Plugin for flamapy to analyze feature models using z3.
      Python
      0000Updated Jul 3, 2026Jul 3, 2026
    • BDD plugin for the automated analysis of feature models using a BDD.
      Python
      GNU Lesser General Public License v3.0
      3200Updated Jul 3, 2026Jul 3, 2026
    • This repository will host the pysat metamode and its operation implementation
      Python
      GNU Lesser General Public License v3.0
      6340Updated Jul 3, 2026Jul 3, 2026
    • This repo host the feature model concrete classes
      Python
      GNU Lesser General Public License v3.0
      4380Updated Jul 3, 2026Jul 3, 2026
    • This repository hosts the main components of flamapy
      Python
      GNU Lesser General Public License v3.0
      66100Updated Jul 3, 2026Jul 3, 2026
    • Serif is a multi page business theme for Jekyll.
      SCSS
      MIT License
      911000Updated Jul 2, 2026Jul 2, 2026
    • JavaScript
      GNU Lesser General Public License v3.0
      1030Updated Jun 15, 2026Jun 15, 2026
    • Python
      2000Updated Jun 15, 2026Jun 15, 2026
    • Python
      0010Updated Nov 12, 2025Nov 12, 2025
    • Flamapy's official MCP Server
      Python
      MIT License
      0000Updated Jul 24, 2025Jul 24, 2025
    • The flamapy plugin that supports Satisfiability Modulo Theories (SMT).
      Python
      GNU General Public License v3.0
      0000Updated Apr 16, 2025Apr 16, 2025
    • tutorial

      Public
      This repository will host a tutorial for the ussage of the tool
      Shell
      GNU General Public License v3.0
      0000Updated Aug 27, 2024Aug 27, 2024
    • flamapy-fm-dist

      Public archive
      A simple Flask API for FLAMA
      Python
      Eclipse Public License 2.0
      1200Updated Jan 8, 2024Jan 8, 2024
    • JavaScript
      GNU Lesser General Public License v3.0
      1000Updated Oct 24, 2023Oct 24, 2023
    • afmparser

      Public
      This is an implementation for the old fama(feature model analyzer) textual format.
      ANTLR
      GNU General Public License v3.0
      0010Updated Oct 16, 2023Oct 16, 2023
    • uvlparser

      Public archive
      This is a simple antlr parser for the Universal variability languaje
      Python
      1120Updated Sep 8, 2023Sep 8, 2023
    • docs

      Public archive
      Testing GitHub Pages to eventually host FlaMaPy docs as a static web page.
      CSS
      Apache License 2.0
      1.1k200Updated Mar 20, 2023Mar 20, 2023
    • Python
      GNU General Public License v3.0
      0000Updated Mar 2, 2023Mar 2, 2023
    • .github

      Public
      This repository is to host a basic profile infor about the flama ecosystem
      0000Updated Jul 20, 2022Jul 20, 2022
    • old_site

      Public archive
      This is the source code underlying the Flama website.
      HTML
      GNU General Public License v3.0
      0000Updated Jul 13, 2022Jul 13, 2022
    • benchmarking

      Public archive
      This repo is hosting a small benchmark with examples on how to use the tool as final user or backend developer
      Python
      3200Updated Jul 12, 2022Jul 12, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.