Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Stars
74
License
apache-2.0
Open Issues
6
Most Recent Commit
3 months ago
Programming Language
OCaml
Categories
Site
Repo
Suggest An Alternative To kind2
Popular Properties Projects
Type Fest ⭐ 12,725
A collection of essential TypeScript types
dependent packages 4,907total releases 125latest release December 02, 2023most recent commit 3 months agonpm type-fest} Downloads
Class Validator ⭐ 10,197
Decorator-based property validation for classes.
dependent packages 3,785total releases 57latest release December 09, 2022most recent commit 3 months agonpm class-validator} Downloads
Yq ⭐ 10,077
yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor
dependent packages 77total releases 132latest release December 04, 2023most recent commit 3 months ago
Dynamics.js ⭐ 7,248
Javascript library to create physics-based animations
dependent packages 54total releases 13latest release August 27, 2016most recent commit 5 years agonpm dynamics.js} Downloads
Serilog ⭐ 6,723
Simple .NET logging with fully-structured events
dependent packages 4,473total releases 528latest release November 17, 2023most recent commit 4 months agonuget Serilog} Downloads
Popular Smt Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Barf Project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years agopypi barf} Downloads
Popular Configuration Management Categories
Ansible
Terraform
Hcl
Dotfiles
Properties
Puppet
Chef
Environment Variables
Zookeeper
Dark Theme

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