Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "logic-programming" keyword
Top 2.5% on proxy.golang.org
75 versions - Latest release: 6 months ago - 15 dependent packages - 201 dependent repositories - 154 stars on GitHub
github.com/grafana/thema v0.0.0-20231204151833-93b6494d445e
A CUE-based framework for portable, evolvable schema75 versions - Latest release: 6 months ago - 15 dependent packages - 201 dependent repositories - 154 stars on GitHub
Top 6.7% on proxy.golang.org
170 versions - Latest release: about 1 month ago - 65 stars on GitHub
github.com/trealla-prolog/go v0.15.56
Package treallago is the parent package for embedding Trealla Prolog. Mostly this is an artifact ...170 versions - Latest release: about 1 month ago - 65 stars on GitHub
Top 6.7% on proxy.golang.org
Latest release: 22 days ago - 65 stars on GitHub
github.com/trealla-prolog/go/trealla
Trealla Prolog embedded in Go using WASMLatest release: 22 days ago - 65 stars on GitHub
Top 7.5% on proxy.golang.org
8 versions - Latest release: over 1 year ago - 7 stars on GitHub
github.com/guregu/pengine v0.2.4 💰
pengines (SWI Prolog) client for Go8 versions - Latest release: over 1 year ago - 7 stars on GitHub
Top 8.8% on proxy.golang.org
14 versions - Latest release: almost 2 years ago - 33 stars on GitHub
github.com/pythological/unification v0.4.6 💰
Straightforward unification in Python that's extensible via generic functions.14 versions - Latest release: almost 2 years ago - 33 stars on GitHub
Top 8.2% on proxy.golang.org
69 versions - Latest release: 5 months ago - 2,949 stars on GitHub
github.com/osohq/oso v0.27.3
Oso is a batteries-included framework for building authorization in your application.69 versions - Latest release: 5 months ago - 2,949 stars on GitHub
Top 2.7% on proxy.golang.org
25 versions - Latest release: almost 3 years ago - 19 dependent packages - 85 dependent repositories - 141 stars on GitHub
github.com/go-air/gini v1.0.4 💰
Package gini provides a fast SAT solver. Package gini contains both libraries and commands. The...25 versions - Latest release: almost 3 years ago - 19 dependent packages - 85 dependent repositories - 141 stars on GitHub
Top 9.5% on proxy.golang.org
1 version - Latest release: about 3 years ago - 2 stars on GitHub
github.com/brunokim/logic-engine v0.0.0-20210528042545-7d3eea67dd35
Engine for logic programming in Go1 version - Latest release: about 3 years ago - 2 stars on GitHub
Top 8.2% on proxy.golang.org
147 versions - Latest release: 5 months ago - 65 stars on GitHub
github.com/guregu/trealla-go v0.15.39
Trealla Prolog embedded in Go using WASM147 versions - Latest release: 5 months ago - 65 stars on GitHub
Top 8.2% on proxy.golang.org
147 versions - Latest release: 5 months ago - 65 stars on GitHub
github.com/trealla-prolog/trealla-go v0.15.39
Trealla Prolog embedded in Go using WASM147 versions - Latest release: 5 months ago - 65 stars on GitHub
Top 7.5% on proxy.golang.org
8 versions - Latest release: over 2 years ago - 143 stars on GitHub
github.com/pythological/kanren v1.0.3 💰
An extensible, lightweight relational/logic programming DSL written in pure Python8 versions - Latest release: over 2 years ago - 143 stars on GitHub
Top 2.7% on proxy.golang.org
34 versions - Latest release: 10 months ago - 5 dependent packages - 6 dependent repositories - 474 stars on GitHub
github.com/ichiban/prolog v1.1.3
The only reasonable scripting engine for Go.34 versions - Latest release: 10 months ago - 5 dependent packages - 6 dependent repositories - 474 stars on GitHub
Top 7.0% on proxy.golang.org
1 version - Latest release: almost 6 years ago - 22 stars on GitHub
github.com/kuba--/ut v0.1.0
Package ut implements "Yet Another Efficient Unification Algorithm" by Alin Suciu (https://arxiv....1 version - Latest release: almost 6 years ago - 22 stars on GitHub
Top 8.2% on proxy.golang.org
31 versions - Latest release: 9 months ago - 28 stars on GitHub
github.com/awalterschulze/gominikanren v0.0.0-20230909162505-db99403b7667
Package gominikanren is an implementation of miniKanren in Go.31 versions - Latest release: 9 months ago - 28 stars on GitHub
Top 9.6% on proxy.golang.org
79 versions - Latest release: almost 3 years ago - 892 stars on GitHub
github.com/noprompt/meander v0.0.626-epsilon
Tools for transparent data transformation79 versions - Latest release: almost 3 years ago - 892 stars on GitHub
Related Keywords
go
8
prolog
7
wasm
4
trealla-prolog
4
unification
3
python
2
minikanren
2
parser
1
logic-engine
1
definite-clause-grammar
1
verification
1
testing
1
sat-solver
1
resolution
1
logic-circuit
1
fuzzing
1
dependencies
1
concurrent
1
circuit-sat
1
config
1
prolog-implementation
1
warren-abstract-machine
1
clp
1
constraint-logic-programming
1
relational-programming
1
symbolic-computation
1
golang
1
interpreter
1
unification-algorithm
1
pattern-matching
1
program-transformation
1
substitution
1
term-rewriting
1
cue
1
cuelang
1
grafana
1
openapi
1
openapi3
1
packaging
1
schema
1
versioning
1
pengines
1
swipl
1
multiple-dispatch
1
abac
1
access-control
1
authorization
1
authorization-framework
1
java
1
nodejs
1
policy-engine
1
rbac
1
rbac-authorization
1
rbac-roles
1
ruby
1
rust
1
security
1
artificial-intelligence
1
boolean-formulas
1