Skip to content
@MERCorg

MERCorg

The organisation for repositories of the MERC project
README.md

Overview

This is the organisation containing repositories related to the merc project, with the tool set and libraries themselves being located in the main merc repository. The main goal of this project is to consolidate various model checking efforts into a set of (partly) language-agnostic set of libraries and tools written in the Rust programming language.

Pinned Loading

  1. merc merc Public

    The merc model checking toolset and libraries.

    Rust 4 1

Repositories

Showing 10 of 22 repositories
  • merc Public

    The merc model checking toolset and libraries.

    MERCorg/merc's past year of commit activity
    Rust 4 BSL-1.0 1 16 0 Updated Oct 8, 2026
  • merc-lsp Public

    A language server protocol implementation for mCRL2 based on async-lsp

    MERCorg/merc-lsp's past year of commit activity
    Rust 0 BSL-1.0 1 0 0 Updated Oct 7, 2026
  • merc-verified Public

    An attempt to verify Rust code using Lean, based on translations of Aeneas.

    MERCorg/merc-verified's past year of commit activity
    Lean 0 0 0 0 Updated Oct 2, 2026
  • mCRL2-sys Public

    Provides raw FFI Rust bindings for the mCRL2 libraries

    MERCorg/mCRL2-sys's past year of commit activity
    Rust 0 BSL-1.0 0 0 0 Updated Oct 1, 2026
  • merc-website Public

    The main website for the MERC project

    MERCorg/merc-website's past year of commit activity
    0 BSL-1.0 0 0 0 Updated Sep 30, 2026
  • zensical-latex-math Public

    A zensical plugin to render math with latex

    MERCorg/zensical-latex-math's past year of commit activity
    Python 0 BSL-1.0 0 0 0 Updated Sep 29, 2026
  • merc-py Public

    A set of Python utilities used for artifacts

    MERCorg/merc-py's past year of commit activity
    Python 0 BSL-1.0 0 0 0 Updated Sep 29, 2026
  • pest_consume Public Forked from Nadrieril/pest_consume

    A framework for processing the output of a pest-generated parser

    MERCorg/pest_consume's past year of commit activity
    Rust 0 BSD-2-Clause 8 0 0 Updated Sep 17, 2026
  • benchmarks-exploration Public

    Benchmark state space exploration algorithms for various linear process specifications

    MERCorg/benchmarks-exploration's past year of commit activity
    TeX 0 BSL-1.0 0 0 0 Updated Aug 31, 2026
  • boost-include-only Public

    A mirror for only the boost include files

    MERCorg/boost-include-only's past year of commit activity
    C++ 0 BSL-1.0 1 0 0 Updated Aug 24, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…