Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Kodkod

Kodkod solver for relational logic
Stars
53
License
mit
Open Issues
0
Most Recent Commit
6 years ago
Programming Language
Java
Categories
Repo
Alternatives To Kodkod
Select To Compare
Bunkerweb ⭐ 3,410
🛡️ Make your web services secure by default !
total releases 14most recent commit a month ago
Padrino Framework ⭐ 3,356
Padrino is a full-stack ruby framework built upon Sinatra.
dependent packages 47total releases 122most recent commit 4 months agorubygems padrino-helpers} Downloads


Suggest An Alternative To kodkod
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session

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