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 15 Jul 2024.
» Get a weekly report « straight in your inbox. Every Friday.

Top 5 Trending Isabelle Projects

  • sail

    Sail architecture definition language (by rems-project)

  • marlowe

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

  • elle

    Black-box transactional safety checker based on cycle detection

  • 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.


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

Project Growth
1 sail 4.2%
2 marlowe 1.7%
3 elle 0.8%
4 l4v 0.6%
5 cogent 0.0%