Universal-Variability-Language / uvl-parser

Related projects ⓘ

Alternatives and complementary repositories for uvl-parser

• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• VariantSync / Vatras
  Agda Library to Study the Expressive Power of Languages for Static Variability
  ☆13Updated this week
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆145Updated 3 months ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆68Updated 7 months ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆129Updated this week
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆272Updated this week
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆169Updated 4 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆58Updated 3 weeks ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆63Updated last year
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• LionWeb-io / lionweb-typescript
  Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.
  ☆10Updated last week
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆21Updated 2 weeks ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆60Updated 5 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆154Updated 11 months ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆34Updated last week
• markusvoelter / mpsintrocourse
  ☆43Updated 9 months ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆132Updated 3 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆108Updated 2 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated last month
• crillab / d4
  d4 Model Counter
  ☆14Updated last year
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated last month
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆97Updated last year
• diverse-project / melange
  The Melange Language Workbench
  ☆28Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆135Updated 2 months ago
• geodes-sms / gentleman
  Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.
  ☆17Updated 2 months ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated 7 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 4 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆186Updated this week