Skip to content
Change the repository type filter

All

    Repositories list

    • Workshops

      Public
      Repository dedicated to workshops
      Eclipse Public License 1.0
      1001Updated Jun 23, 2020Jun 23, 2020
    • An Emacs major mode to edit and run SMTLIB v2 files
      Emacs Lisp
      GNU General Public License v3.0
      12100Updated Mar 7, 2020Mar 7, 2020
    • kodkodz

      Public
      A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic
      Java
      MIT License
      27000Updated May 8, 2019May 8, 2019
    • Embedding of First-Order Relational Logic into Meta-Object Facility
      Java
      MIT License
      1400Updated Apr 30, 2019Apr 30, 2019
    • Eclipse-based SMTLIB Editor
      Python
      MIT License
      0000Updated Mar 17, 2019Mar 17, 2019
    • Like the name. Contains various Alloy models
      Alloy
      MIT License
      0000Updated Feb 20, 2019Feb 20, 2019
    • "SAT/SMT by example" free ebook
      Mathematica
      36000Updated Feb 7, 2019Feb 7, 2019
    • Projects for demonstrations
      Java
      Eclipse Public License 1.0
      0020Updated Dec 18, 2018Dec 18, 2018
    • klee

      Public
      KLEE Symbolic Execution Engine
      C++
      Other
      721000Updated Nov 28, 2018Nov 28, 2018
    • Emacs major mode for Alloy
      Emacs Lisp
      GNU General Public License v2.0
      12000Updated Jul 14, 2018Jul 14, 2018
    • DeAL

      Public
      Successful built of DeAL (GC Assertions) on x86_64-linux
      Java
      0100Updated Jun 22, 2018Jun 22, 2018
    • Ditto

      Public
      Fork of Ditto Project
      Java
      0000Updated Jun 17, 2018Jun 17, 2018
    • Java
      MIT License
      0000Updated May 20, 2018May 20, 2018
    • z3-1

      Public
      The Z3 Theorem Prover
      C++
      Other
      1.6k000Updated Mar 31, 2018Mar 31, 2018
    • Java-based Implementation of OSLC MagicDraw SysML Adapter
      Java
      7000Updated Mar 27, 2018Mar 27, 2018
    • Tarski

      Public
      A Platform for Automated Analysis of Traceability (WP3)
      Java
      Eclipse Public License 1.0
      1900Updated Dec 23, 2017Dec 23, 2017
    • vampire

      Public
      C++
      Other
      69000Updated Dec 13, 2017Dec 13, 2017
    • Java-based Implementation of OSLC Simulink Adapter
      Java
      4000Updated Nov 8, 2017Nov 8, 2017
    • OpenEdge ABL
      3000Updated Oct 31, 2017Oct 31, 2017
    • Project Monitoring, Tracking, Communication Management and Infrastructure
      Lex
      Eclipse Public License 1.0
      02260Updated Sep 26, 2017Sep 26, 2017
    • Source

      Public
      Federated Source Code Repository of ModelWriter project
      Java
      Eclipse Public License 1.0
      1260Updated Sep 18, 2017Sep 18, 2017
    • Work Package 2 - Semantic Parsing and Generation of Documents and Documents Components (LORIA)
      Java
      Eclipse Public License 1.0
      0000Updated Jul 2, 2017Jul 2, 2017
    • WP3

      Public
      A Platform for Automated Analysis of Traceability (WP3)
      Java
      Eclipse Public License 1.0
      13550Updated Jun 12, 2017Jun 12, 2017
    • The Definition of Standard ML, Revised (1997)
      TeX
      13000Updated May 13, 2017May 13, 2017
    • WP7

      Public
      Work Package 7 - Standardization, Dissemination and Exploitation (Obeo)
      Eclipse Public License 1.0
      0030Updated Jan 26, 2017Jan 26, 2017
    • WP5

      Public
      Work Package 5 - Project Management (UNIT)
      CSS
      Eclipse Public License 1.0
      00190Updated Nov 15, 2016Nov 15, 2016
    • WP1

      Public
      Work Package 1 - Industrial Use Cases and Requirements (AIRBUS)
      Eclipse Public License 1.0
      0070Updated Nov 14, 2016Nov 14, 2016
    • Releases

      Public
      Releases of ModelWriter project
      Eclipse Public License 1.0
      0000Updated Apr 1, 2016Apr 1, 2016
    • Project Site (www.modelwriter.eu)
      CSS
      Eclipse Public License 1.0
      0000Updated Dec 26, 2015Dec 26, 2015
    • WP6

      Public
      Work Package 6 - ModelWriter Architecture, Integration and Evaluation (Obeo)
      Java
      Eclipse Public License 1.0
      1080Updated Sep 24, 2015Sep 24, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.