awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
imdea-software avatar

imdea-software/fcsl-pcm

0
View on GitHub↗
35 stars·13 forks·Rocq Prover·Apache-2.0·2 views

Fcsl Pcm

This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

Features

  • Libraries - Listed in the “Libraries” section of the Awesome Coq awesome list.

Star history

Star history chart for imdea-software/fcsl-pcmStar history chart for imdea-software/fcsl-pcm

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Open-source alternatives to Fcsl Pcm

Similar open-source projects, ranked by how many features they share with Fcsl Pcm.
  • charguer/tlccharguer avatar

    charguer/tlc

    41View on GitHub↗

    Description

    Rocq Prover
    View on GitHub↗41
  • coq/bignumscoq avatar

    coq/bignums

    25View on GitHub↗

    This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

    Rocq Prover
    View on GitHub↗25
  • coq-community/aleacoq-community avatar

    coq-community/alea

    26View on GitHub↗

    This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

    Coq
    View on GitHub↗26
  • bradymholt/cron-expression-descriptorbradymholt avatar

    bradymholt/cron-expression-descriptor

    1,107View on GitHub↗

    Would you take a quick second and ⭐️ my repo?

    C#
    View on GitHub↗1,107
See all 23 alternatives to Fcsl Pcm→

Frequently asked questions

What does imdea-software/fcsl-pcm do?

This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

What are the main features of imdea-software/fcsl-pcm?

The main features of imdea-software/fcsl-pcm are: Libraries.

What are some open-source alternatives to imdea-software/fcsl-pcm?

Open-source alternatives to imdea-software/fcsl-pcm include: charguer/tlc — Description. coq/bignums — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/alea — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/coq-ext-lib — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/reglang — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… bradymholt/cron-expression-descriptor —  Would you take a quick second and ⭐️ my repo?