Trending repositories for language Isabelle
Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
Last 3 days (relative gain)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
Last week (relative gain)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
Last month (relative gain)
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
rems-project/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
71
(+6)
input-output-hk/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
172
(+4)
apache-2.0
Last 12-months (relative gain)
rems-project/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
71
(+9%)
input-output-hk/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
172
(+2%)
apache-2.0