this repo has no description
Release OCanren 0.3.0~alpha + stuff (#20720)
* GT.v0.5.0
Signed-off-by: Kakadu <Kakadu@pm.me>
* [new release] OCanren and OCanren-ppx (0.3.0-alpha1)
CHANGES:
### Changed
- Make `ppx_distrib` usable
* noCanren 0.3.0
Signed-off-by: Kakadu <Kakadu@pm.me>
* Proper tilde
Signed-off-by: Kakadu <Kakadu@pm.me>
* WIP
Signed-off-by: Kakadu <Kakadu@pm.me>
* WIP
Signed-off-by: Kakadu <Kakadu@pm.me>
* Trying to disable tests
Signed-off-by: Kakadu <Kakadu@pm.me>
* repairing tests
Signed-off-by: Kakadu <Kakadu@pm.me>
* WIP
Signed-off-by: Kakadu <Kakadu@pm.me>
* WIP
Signed-off-by: Kakadu <Kakadu@pm.me>
* Kick CI
Signed-off-by: Kakadu <Kakadu@pm.me>
* Fixing constraints
Signed-off-by: Kakadu <Kakadu@pm.me>
* Add licenses
Signed-off-by: Kakadu <Kakadu@pm.me>
* Better constraints
Signed-off-by: Kakadu <Kakadu@pm.me>
* Fix mtime dependency
Signed-off-by: Kakadu <Kakadu@pm.me>
* WIP on constraints
Signed-off-by: Kakadu <Kakadu@pm.me>
* WIP
Signed-off-by: Kakadu <Kakadu@pm.me>
* I hope it is final
Signed-off-by: Kakadu <Kakadu@pm.me>
authored by
Dmitrii Kosarev
and committed by
GitHub
bdc79fae
f94a17e5
+240
-7
+51
packages/GT/GT.0.5.0/opam
+51
packages/GT/GT.0.5.0/opam
···
1
+
opam-version: "2.0"
2
+
3
+
synopsis: "Generic programming with extensible transformations"
4
+
description: """
5
+
Yet another library for generic programming. Provides syntax extensions
6
+
both for camlp5 and PPX which allow decoration of type declarations with
7
+
following compile-time code generation. Provides the way for creating
8
+
plugins (compiled separately from the library) for enchancing supported
9
+
type transformations.
10
+
11
+
Strongly reminds the `visitors` library from François Pottier.
12
+
During desing of a library of these kind there many possible
13
+
design decision and in many cases we decided to implement
14
+
the decision opposite to the one used in `visitors`."""
15
+
16
+
17
+
maintainer: ["Kakadu@pm.me"]
18
+
authors: ["https://github.com/dboulytchev" "https://github.com/Kakadu"]
19
+
license: "LGPL-2.1"
20
+
homepage: "https://github.com/JetBrains-Research/GT"
21
+
bug-reports: "https://github.com/JetBrains-Research/GT/issues"
22
+
23
+
depends: [
24
+
"dune" {>= "2.8"}
25
+
"ocaml" {>= "4.10"}
26
+
"ppxlib" {>= "0.22" & < "0.25"}
27
+
"ocamlfind"
28
+
"ocamlgraph"
29
+
"logger-p5"
30
+
"ppx_inline_test"
31
+
"ocaml-migrate-parsetree" {>= "2.1.0"}
32
+
"camlp5" {>= "8.00.02"}
33
+
"conf-m4" {build}
34
+
"base"
35
+
"odoc" {with-doc}
36
+
]
37
+
38
+
39
+
build: [
40
+
["dune" "subst"] {dev}
41
+
["dune" "build" "-p" name "-j" jobs]
42
+
]
43
+
44
+
dev-repo: "git+https://github.com/JetBrains-Research/GT.git"
45
+
url {
46
+
src: "https://github.com/JetBrains-Research/GT/archive/refs/tags/0.5.0.tar.gz"
47
+
checksum: [
48
+
"sha256=3f26c69a215066b42c6edde2ea4cd4516bdc9a01482b64355d3adf87ed85e179"
49
+
"sha512=7a5236618124f370aa373483255bd3efeb5c251005efa7d43aadb6be968df310b5f312b8066245544cfdf9972a7944f0ff2448bd09cb8a8e0bb5f8b1f9b5340b"
50
+
]
51
+
}
+69
packages/OCanren-ppx/OCanren-ppx.0.3.0~alpha1/opam
+69
packages/OCanren-ppx/OCanren-ppx.0.3.0~alpha1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Implementation of miniKanren relational (logic) EDSL: PPX extensions"
4
+
description: """
5
+
PPX rewriters for writing relational programs more conveniently.
6
+
7
+
1) `ppx_fresh` -- a clone of original miniKanren syntax
8
+
9
+
fresh (x...) goal
10
+
11
+
expands into
12
+
13
+
Fresh.numeral (fun x ... -> goal)
14
+
15
+
2) `ppx_distrib` for easier generation of type-safe smart constructors and reifiers...
16
+
17
+
[%%distrib
18
+
type nonrec _ t = fully_abstract_type
19
+
type ground = ...
20
+
]
21
+
22
+
3) `ppx_repr` for testing. Expands `REPR(expr)` to `(string_of_expr expr, expr)`
23
+
"""
24
+
maintainer: ["Dmitrii Kosarev Kakadu@pm.me"]
25
+
authors: [
26
+
"Dmitrii Kosarev https://github.com/Kakadu"
27
+
"JetBrains Research https://research.jetbrains.org"
28
+
]
29
+
license: "LGPL-2.1"
30
+
homepage: "https://github.com/JetBrains-Research/OCanren"
31
+
bug-reports: "https://github.com/JetBrains-Research/OCanren/issues"
32
+
depends: [
33
+
"dune" {>= "2.8"}
34
+
"ocaml" {>= "4.10"}
35
+
"dune-configurator"
36
+
"ppxlib" {>= "0.22" & <= "0.24"}
37
+
"base"
38
+
"ppx_inline_test"
39
+
"ppx_expect"
40
+
"OCanren" { >= "0.3.0"}
41
+
"ocamlformat" { with-test }
42
+
"GT"
43
+
"odoc" {with-doc}
44
+
]
45
+
build: [
46
+
["dune" "subst"] {dev}
47
+
[
48
+
"dune"
49
+
"build"
50
+
"-p"
51
+
name
52
+
"-j"
53
+
jobs
54
+
"@install"
55
+
"@runtest" {with-test}
56
+
"@doc" {with-doc}
57
+
]
58
+
]
59
+
60
+
dev-repo: "git+https://github.com/JetBrains-Research/OCanren.git"
61
+
url {
62
+
src:
63
+
"https://github.com/JetBrains-Research/OCanren/archive/refs/tags/0.3.0-alpha1.tar.gz"
64
+
#"https://github.com/JetBrains-Research/OCanren/archive/refs/heads/eucpp-final.zip"
65
+
checksum: [
66
+
"sha256=d530d7e64c2858796c9c3b366702d2afa96097ea0815c0c7b9b185c41c0c7db9"
67
+
"sha512=ff200d35f72d9ce50c862d63291c3bc6a0e9544426cf72678e2a28553110ca88382a13868af16e62526a3f8d8ba33193be023b2a8a60053f3cb21794063411f4"
68
+
]
69
+
}
+3
-2
packages/OCanren/OCanren.0.1.0/opam
+3
-2
packages/OCanren/OCanren.0.1.0/opam
···
4
4
homepage: "https://github.com/JetBrains-Research/OCanren"
5
5
bug-reports: "https://github.com/JetBrains-Research/OCanren/issues"
6
6
maintainer: "Dmitrii Kosarev Kakadu@pm.me"
7
+
license: "LGPL-2.1"
7
8
8
9
authors: [
9
10
"Dmitrii Boulytchev https://github.com/dboulytchev"
···
20
21
"ocamlfind" { build }
21
22
"camlp5" { >= "8" }
22
23
"logger-p5" { >= "0.4.5" }
23
-
"GT" { >= "0.4.0" }
24
-
"mtime"
24
+
"GT" { >= "0.4.0" & < "0.5" }
25
+
"mtime" { >= "1.1" }
25
26
]
26
27
27
28
build: [
+6
-5
packages/OCanren/OCanren.0.2.0/opam
+6
-5
packages/OCanren/OCanren.0.2.0/opam
···
2
2
synopsis: "Implementation of miniKanren relational (logic) EDSL"
3
3
description: """\
4
4
The family of miniKanren derivatives has many implementations. This
5
-
one is typed embedding to OCaml. The original implementation for
5
+
one is typed embedding to OCaml. The original implementation for
6
6
this is in scheme and can be found at https://github.com/michaelballantyne/faster-miniKanren .
7
7
8
8
Features:
9
-
1) disequality constraints
9
+
1) disequality constraints
10
10
2) relational standart library: lists, nats"""
11
11
12
+
license: "LGPL-2.1"
12
13
maintainer: "Dmitrii Kosarev kakadu@pm.me"
13
14
homepage: "https://github.com/JetBrains-Research/OCanren"
14
15
bug-reports: "https://github.com/JetBrains-Research/OCanren/issues"
···
26
27
"dune" { >= "2.5" }
27
28
"dune-configurator"
28
29
"ocamlfind"
29
-
"camlp5" { >= "8" }
30
+
"camlp5" { >= "8.00.02" }
30
31
"logger-p5" { >= "0.4.5" }
31
-
"GT" { >= "0.4.0" }
32
+
"GT" { >= "0.4.0" & < "0.5" }
32
33
"benchmark" { with-test }
33
-
"mtime"
34
+
"mtime" { >= "1.1" }
34
35
]
35
36
36
37
build: [
+62
packages/OCanren/OCanren.0.3.0~alpha1/opam
+62
packages/OCanren/OCanren.0.3.0~alpha1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Implementation of miniKanren relational (logic) EDSL"
3
+
description: """
4
+
The family of miniKanren derivatives has many implementations. This
5
+
one is typed embedding to OCaml. The original implementation for
6
+
this is in scheme and can be found at https://github.com/michaelballantyne/faster-miniKanren .
7
+
8
+
Features:
9
+
1) disequality constraints
10
+
2) relational standard library: lists, nats
11
+
"""
12
+
maintainer: ["Dmitrii Kosarev Kakadu@pm.me"]
13
+
authors: [
14
+
"Dmitrii Boulytchev https://github.com/dboulytchev"
15
+
"Dmitrii Kosarev https://github.com/Kakadu"
16
+
"Evgenii Moiseenko https://github.com/eupp"
17
+
"Petr Lozov https://github.com/Lozov-Petr"
18
+
"JetBrains Research https://research.jetbrains.org"
19
+
]
20
+
license: "LGPL-2.1"
21
+
homepage: "https://github.com/JetBrains-Research/OCanren"
22
+
bug-reports: "https://github.com/JetBrains-Research/OCanren/issues"
23
+
depends: [
24
+
"dune" {>= "2.8"}
25
+
"ocaml" {>= "4.10"}
26
+
"dune-configurator"
27
+
"ocamlfind"
28
+
"camlp5" { >= "8.00.02" }
29
+
"logger-p5"
30
+
"GT" {>= "0.5"}
31
+
"benchmark" {with-test}
32
+
"ocamlformat" {with-test & <= "0.20"}
33
+
"ppx_inline_test"
34
+
"mtime" { >= "1.1" }
35
+
"odoc" {with-doc}
36
+
]
37
+
build: [
38
+
["dune" "subst"] {dev}
39
+
[
40
+
"dune"
41
+
"build"
42
+
"-p"
43
+
name
44
+
"-j"
45
+
jobs
46
+
"@install"
47
+
"@runtest" {with-test}
48
+
"@doc" {with-doc}
49
+
]
50
+
]
51
+
52
+
dev-repo: "git+https://github.com/JetBrains-Research/OCanren.git"
53
+
url {
54
+
src:
55
+
"https://github.com/JetBrains-Research/OCanren/archive/refs/tags/0.3.0-alpha1.tar.gz"
56
+
#"https://github.com/JetBrains-Research/OCanren/archive/refs/heads/eucpp-final.zip"
57
+
checksum: [
58
+
"sha256=d530d7e64c2858796c9c3b366702d2afa96097ea0815c0c7b9b185c41c0c7db9"
59
+
"sha512=ff200d35f72d9ce50c862d63291c3bc6a0e9544426cf72678e2a28553110ca88382a13868af16e62526a3f8d8ba33193be023b2a8a60053f3cb21794063411f4"
60
+
]
61
+
}
62
+
#x-commit-hash: "4df8639aa959477d8869f3d6c2d7b4519649ac0c"
+49
packages/noCanren/noCanren.0.3.0~alpha1/opam
+49
packages/noCanren/noCanren.0.3.0~alpha1/opam
···
1
+
opam-version: "2.0"
2
+
3
+
synopsis: "Translator from subset of OCaml to OCanren"
4
+
maintainer: ["Kakadu@pm.me"]
5
+
authors: [
6
+
"https://github.com/Lozov-Petr"
7
+
"https://github.com/Kakadu"
8
+
"https://github.com/dboulytchev"
9
+
]
10
+
homepage: "https://github.com/Lozov-Petr/noCanren"
11
+
bug-reports: "https://github.com/Lozov-Petr/noCanren/issues"
12
+
license: "LGPL-2.1"
13
+
14
+
depends: [
15
+
"dune" {>= "2.8"}
16
+
"ocaml" {>= "4.13" & < "4.14"}
17
+
"GT"
18
+
"OCanren" {>= "0.3.0" } #{with-test}
19
+
"OCanren-ppx" {>= "0.3.0" } #{with-test}
20
+
"odoc" {with-doc}
21
+
"ocamlformat" {with-test}
22
+
"ppxlib"
23
+
]
24
+
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
]
39
+
40
+
dev-repo: "git+https://github.com/Lozov-Petr/noCanren.git"
41
+
42
+
url {
43
+
src: "https://github.com/Kakadu/noCanren/archive/0.3.0-alpha1.tar.gz"
44
+
#src: "https://github.com/Kakadu/noCanren/archive/refs/heads/dune-4.13-eucpp.zip"
45
+
checksum: [
46
+
"sha256=ca41ad2cef7b45c29f30c6cf3402b133d8dba82f69818a783bfee95173d62797"
47
+
"sha512=15edcac9705172dca2c852be6a024936c698ef2369dbc0515a003ff91e67d33e2b436af3a87cd77892b3317dc657db75b1c8abf4ff7067c196bb31f25ba8bd71"
48
+
]
49
+
}