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

Top 5 Trending Isabelle Projects

  • elle

    Black-box transactional safety checker based on cycle detection

  • sail

    Sail architecture definition language (by rems-project)

  • l4v

    seL4 specification and proofs

  • cogent

    Cogent Project

  • 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 elle 1.6%
2 sail 1.0%
3 l4v 0.8%
4 cogent 0.0%
5 marlowe 0.0%