Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Utp Main

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Stars
30
License
other
Open Issues
3
Most Recent Commit
a year ago
Programming Language
Isabelle
Categories
Repo
Alternatives To Utp Main
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Utp Main30
a year ago3otherIsabelle
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Communik5
4 years ago20apache-2.0Java
reactive email/sms notification service built with springboot
Alternatives To Utp Main
Select To Compare


Suggest An Alternative To utp-main
Alternative Project Comparisons
Utp Main vs Communik
Popular Reactive Projects
Solid ⭐ 31,521
A declarative, efficient, and flexible JavaScript library for building user interfaces.
dependent packages 1,224total releases 443latest release December 01, 2023most recent commit 8 days agonpm solid-js} Downloads
Rxswift ⭐ 24,175
Reactive Programming in Swift
total releases 78latest release September 20, 2023most recent commit a month ago
Rxdb ⭐ 20,159
A fast, local first, reactive Database for JavaScript Applications https://rxdb.info/
dependent packages 84total releases 502latest release December 03, 2023most recent commit 5 months agonpm rxdb} Downloads
Leptos ⭐ 14,715
Build fast web applications with Rust.
dependent packages 70total releases 63latest release November 28, 2023most recent commit a month agocargo leptos} Downloads
Popular Heap Projects
Popular Control Flow Categories
Stream
Thread
Promise
Series
Webhook
Daemon
Parallel
Reactive
Rxjava
Cron
Related Searches
Calculus Isabelle
Calculus Theory
Isabelle Hol
Reactive Law

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Reactive
Heap
Law
Calculus
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.