Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Verum

VErifiable RUby Machines - A Finite-State Machines library for Ruby with formal verification capabilities.
Stars
5
License
lgpl-3.0
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
Ruby
Dependent Repos
1
Total Releases
1
Latest Release
March 07, 2015
Categories
Repo
Alternatives To Verum
Select To Compare
Alpine ⭐ 26,023
A rugged, minimal framework for composing JavaScript behavior in your markup.
dependent packages 135total releases 119most recent commit 3 months agonpm alpinejs} Downloads
Scrollreveal ⭐ 21,857
Animate elements as they scroll into view.
dependent packages 86total releases 72most recent commit 8 months agonpm scrollreveal} Downloads
Vue Router ⭐ 19,014
🚦 The official router for Vue 2
dependent packages 4total releases 2most recent commit 4 months agonpm jd-vue-router} Downloads
Barba ⭐ 11,250
Create badass, fluid and smooth transitions between your website’s pages
dependent packages 15total releases 67most recent commit 3 months agonpm @barba/core} Downloads
Effeckt.css ⭐ 11,127
This repo is archived. Thanks!
dependent packages 3total releases 2most recent commit 5 years agonpm effeckt} Downloads


Suggest An Alternative To verum
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ruby
Transition
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.