Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
conda-forge.org "logic-programming" keyword
clingo 5.6.2
Clingo is an answer set programming (ASP) system that takes a logic program as input and calculat...8 versions - Latest release: over 1 year ago - 8 dependent packages - 8 dependent repositories - 471 stars on GitHub
swi-prolog 7.7.0 💰
SWI-Prolog Main development repository1 version - Latest release: almost 6 years ago - 755 stars on GitHub
minikanren 1.0.3 💰
An extensible, lightweight relational/logic programming DSL written in pure Python2 versions - Latest release: over 2 years ago - 4 dependent packages - 19 dependent repositories - 123 stars on GitHub
logical-unification 0.4.5 💰
Straightforward unification in Python that's extensible via generic functions.2 versions - Latest release: over 2 years ago - 6 dependent packages - 19 dependent repositories - 28 stars on GitHub
sqlalchemy-oso 0.26.3
Oso is a batteries-included framework for building authorization in your application.3 versions - Latest release: over 1 year ago - 2,764 stars on GitHub
oso 0.26.3
Oso is a batteries-included framework for building authorization in your application.3 versions - Latest release: over 1 year ago - 1 dependent package - 2,952 stars on GitHub
Related Keywords
python
3
rust
2
ruby
2
rbac-roles
2
rbac-authorization
2
rbac
2
policy-engine
2
nodejs
2
java
2
go
2
authorization-framework
2
abac
2
access-control
2
authorization
2
security
1
unification
1
multiple-dispatch
1
symbolic-computation
1
relational-programming
1
minikanren
1
constraint-logic-programming
1
clp
1
swi-prolog
1
prolog
1
declarative-programming
1
answer-set-programming
1