Trending Isabelle Projects

This page lists the top trending Isabelle projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 3 Jun 2024.
» Get a weekly report « straight in your inbox. Every Friday.

Top 5 Trending Isabelle Projects

  • sail

    Sail architecture definition language (by rems-project)

  • elle

    Black-box transactional safety checker based on cycle detection

  • marlowe

    Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

  • l4v

    seL4 specification and proofs

  • cogent

    Cogent Project

ABOUT: The growth percentage is calculated as the increase in the number of stars compared to the previous month. We list only projects that have at least 500 stars and a GitHub organization logo set.

Index

What are some of the trending open-source Isabelle projects? This list will help you:

Project Growth
1 sail 6.3%
2 elle 2.1%
3 marlowe 0.6%
4 l4v 0.4%
5 cogent 0.0%