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 9 Jun 2025.
» Get a weekly report « straight in your inbox. Every Friday.

Top 4 Trending Isabelle Projects

  1. cogent

    Cogent Project

  2. l4v

    seL4 specification and proofs

  3. elle

    Black-box transactional safety checker based on cycle detection

  4. marlowe

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

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 cogent 2.4%
2 l4v 1.3%
3 elle 1.0%
4 marlowe 0.0%
Loading...