commit f1b53eeda8a62f59f1e5bdecb31596a36350bf3f · anil.recoil.org/opam-repository

+52

packages/GT/GT.0.5.1/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       

     

       3
       3
       +
       synopsis: "Generic programming with extensible transformations"

     

       4
       4
       +
       description: """

     

       5
       5
       +
       Yet another library for generic programming. Provides syntax extensions

     

       6
       6
       +
       both for camlp5 and PPX which allow decoration of type declarations with

     

       7
       7
       +
       following compile-time code generation. Provides the way for creating

     

       8
       8
       +
       plugins (compiled separately from the library) for enchancing supported

     

       9
       9
       +
       type transformations.

     

       10
       10
       +
       

     

       11
       11
       +
       Strongly reminds the `visitors` library from François Pottier.

     

       12
       12
       +
       During desing of a library of these kind there many possible

     

       13
       13
       +
       design decision and in many cases we decided to implement

     

       14
       14
       +
       the decision opposite to the one used in `visitors`."""

     

       15
       15
       +
       

     

       16
       16
       +
       

     

       17
       17
       +
       maintainer: ["Kakadu@pm.me"]

     

       18
       18
       +
       authors: ["https://github.com/dboulytchev" "https://github.com/Kakadu"]

     

       19
       19
       +
       license: "LGPL-2.1"

     

       20
       20
       +
       homepage: "https://github.com/JetBrains-Research/GT"

     

       21
       21
       +
       bug-reports: "https://github.com/JetBrains-Research/GT/issues"

     

       22
       22
       +
       

     

       23
       23
       +
       depends: [

     

       24
       24
       +
         "dune" {>= "2.8"}

     

       25
       25
       +
         "ocaml" {>= "4.10"}

     

       26
       26
       +
         "ppxlib" {>= "0.22" #& <= "0.26"

     

       27
       27
       +
                  }

     

       28
       28
       +
         "ocamlfind"

     

       29
       29
       +
         "ocamlgraph"

     

       30
       30
       +
         "logger-p5"

     

       31
       31
       +
         "ppx_inline_test"

     

       32
       32
       +
         "ocaml-migrate-parsetree" {>= "2.1.0"}

     

       33
       33
       +
         "camlp5" {>= "8.00.02"}

     

       34
       34
       +
         "conf-m4" {build}

     

       35
       35
       +
         "base"

     

       36
       36
       +
         "odoc" {with-doc}

     

       37
       37
       +
       ]

     

       38
       38
       +
       

     

       39
       39
       +
       

     

       40
       40
       +
       build: [

     

       41
       41
       +
         ["dune" "subst"] {dev}

     

       42
       42
       +
         ["dune" "build" "-p" name "-j" jobs]

     

       43
       43
       +
       ]

     

       44
       44
       +
       

     

       45
       45
       +
       dev-repo: "git+https://github.com/JetBrains-Research/GT.git"

     

       46
       46
       +
       url {

     

       47
       47
       +
         src: "https://github.com/JetBrains-Research/GT/archive/refs/tags/0.5.1.tar.gz"

     

       48
       48
       +
         checksum: [

     

       49
       49
       +
           "sha256=fe0aa1e40afd36f7c1fcd992c408261d0b5645cea080ea98bc5dbf0b8682187f"

     

       50
       50
       +
           "sha512=8db0f2d8db4d7c11cf55835ba2b6c4f5ee1e8c09a4bdc2a9c57d50958ff8654688d4c8596079dfd1027d8b9e878f6e1b0d14341bcdf5f63cf96a45b2a571f3cb"

     

       51
       51
       +
         ]

     

       52
       52
       +
       }

+68

packages/OCanren-ppx/OCanren-ppx.0.3.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis:

     

       3
       3
       +
         "Implementation of miniKanren relational (logic) EDSL: PPX extensions"

     

       4
       4
       +
       description: """

     

       5
       5
       +
       PPX rewriters for writing relational programs more conveniently.

     

       6
       6
       +
       

     

       7
       7
       +
       1) `ppx_fresh` -- a clone of original miniKanren syntax

     

       8
       8
       +
       

     

       9
       9
       +
         fresh (x...) goal

     

       10
       10
       +
       

     

       11
       11
       +
       expands into

     

       12
       12
       +
       

     

       13
       13
       +
         Fresh.numeral (fun x ... -> goal)

     

       14
       14
       +
       

     

       15
       15
       +
       2) `ppx_distrib` for easier generation of type-safe smart constructors and reifiers...

     

       16
       16
       +
       

     

       17
       17
       +
         [%%distrib

     

       18
       18
       +
           type nonrec _ t = fully_abstract_type

     

       19
       19
       +
           type ground = ...

     

       20
       20
       +
         ]

     

       21
       21
       +
       

     

       22
       22
       +
       3) `ppx_repr` for testing. Expands `REPR(expr)` to `(string_of_expr expr, expr)`

     

       23
       23
       +
       """

     

       24
       24
       +
       maintainer: ["Dmitrii Kosarev Kakadu@pm.me"]

     

       25
       25
       +
       authors: [

     

       26
       26
       +
         "Dmitrii Kosarev https://github.com/Kakadu"

     

       27
       27
       +
         "JetBrains Research https://research.jetbrains.org"

     

       28
       28
       +
       ]

     

       29
       29
       +
       license: "LGPL-2.1"

     

       30
       30
       +
       homepage: "https://github.com/JetBrains-Research/OCanren"

     

       31
       31
       +
       bug-reports: "https://github.com/JetBrains-Research/OCanren/issues"

     

       32
       32
       +
       depends: [

     

       33
       33
       +
         "dune" {>= "2.9" }

     

       34
       34
       +
         "ocaml" {>= "4.10"}

     

       35
       35
       +
         "dune-configurator"

     

       36
       36
       +
         "ppxlib" {>= "0.22" & <= "0.24"}

     

       37
       37
       +
         "base"

     

       38
       38
       +
         "ppx_inline_test"

     

       39
       39
       +
         "ppx_expect"

     

       40
       40
       +
         "odoc" {with-doc}

     

       41
       41
       +
       ]

     

       42
       42
       +
       build: [

     

       43
       43
       +
         ["dune" "subst"] {dev}

     

       44
       44
       +
         [

     

       45
       45
       +
           "dune"

     

       46
       46
       +
           "build"

     

       47
       47
       +
           "-p"

     

       48
       48
       +
           name

     

       49
       49
       +
           "-j"

     

       50
       50
       +
           jobs

     

       51
       51
       +
           "@install"

     

       52
       52
       +
           "@runtest" {with-test}

     

       53
       53
       +
           "@doc" {with-doc}

     

       54
       54
       +
         ]

     

       55
       55
       +
       ]

     

       56
       56
       +
       run-test:  []

     

       57
       57
       +
       dev-repo: "git+https://github.com/JetBrains-Research/OCanren.git"

     

       58
       58
       +
       

     

       59
       59
       +
       url {

     

       60
       60
       +
         src:

     

       61
       61
       +
           "https://github.com/JetBrains-Research/OCanren/archive/refs/tags/0.3.0.tar.gz"

     

       62
       62
       +
           #"https://github.com/Kakadu/OCanren/archive/refs/heads/master.tar.gz"

     

       63
       63
       +
         checksum: [

     

       64
       64
       +
           "sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2"

     

       65
       65
       +
           "sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7"

     

       66
       66
       +
         ]

     

       67
       67
       +
       }

     

       68
       68
       +

+63

packages/OCanren/OCanren.0.3.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       synopsis: "Implementation of miniKanren relational (logic) EDSL"

     

       3
       3
       +
       description: """

     

       4
       4
       +
       The family of miniKanren derivatives has many implementations. This

     

       5
       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
       9
       +
       1) disequality constraints

     

       10
       10
       +
       2) relational standard library: lists, nats

     

       11
       11
       +
       """

     

       12
       12
       +
       maintainer: ["Dmitrii Kosarev Kakadu@pm.me"]

     

       13
       13
       +
       authors: [

     

       14
       14
       +
         "Dmitrii Boulytchev https://github.com/dboulytchev"

     

       15
       15
       +
         "Dmitrii Kosarev https://github.com/Kakadu"

     

       16
       16
       +
         "Evgenii Moiseenko https://github.com/eupp"

     

       17
       17
       +
         "Petr Lozov https://github.com/Lozov-Petr"

     

       18
       18
       +
         "JetBrains Research https://research.jetbrains.org"

     

       19
       19
       +
       ]

     

       20
       20
       +
       license: "LGPL-2.1"

     

       21
       21
       +
       homepage: "https://github.com/JetBrains-Research/OCanren"

     

       22
       22
       +
       bug-reports: "https://github.com/JetBrains-Research/OCanren/issues"

     

       23
       23
       +
       depends: [

     

       24
       24
       +
         "dune" {>= "3" }                      # for older dune there are some issues with OCaml 4.10 - 4.11

     

       25
       25
       +
         "ocaml" {>= "4.10"}

     

       26
       26
       +
         "dune-configurator"

     

       27
       27
       +
         "ocamlfind"

     

       28
       28
       +
         "camlp5" { >= "8.00.02" }

     

       29
       29
       +
         "logger-p5"

     

       30
       30
       +
         "GT" {>= "0.5"}

     

       31
       31
       +
         "OCanren-ppx" { >= "0.3.0" } #{ with-test }

     

       32
       32
       +
         "benchmark" { with-test }

     

       33
       33
       +
         "ocamlformat" {with-test & <= "0.20"}

     

       34
       34
       +
         "ppx_inline_test"

     

       35
       35
       +
         "mtime" { >= "1.1" }

     

       36
       36
       +
         "odoc" {with-doc}

     

       37
       37
       +
       ]

     

       38
       38
       +
       build: [

     

       39
       39
       +
         ["dune" "subst"] {dev}

     

       40
       40
       +
         [

     

       41
       41
       +
           "dune"

     

       42
       42
       +
           "build"

     

       43
       43
       +
           "-p"

     

       44
       44
       +
           name

     

       45
       45
       +
           "-j"

     

       46
       46
       +
           jobs

     

       47
       47
       +
           "@install"

     

       48
       48
       +
           "@runtest" {with-test}

     

       49
       49
       +
           "@doc" {with-doc}

     

       50
       50
       +
         ]

     

       51
       51
       +
       ]

     

       52
       52
       +
       

     

       53
       53
       +
       dev-repo: "git+https://github.com/JetBrains-Research/OCanren.git"

     

       54
       54
       +
       url {

     

       55
       55
       +
         src:

     

       56
       56
       +
           "https://github.com/JetBrains-Research/OCanren/archive/refs/tags/0.3.0.tar.gz"

     

       57
       57
       +
           #"https://github.com/Kakadu/OCanren/archive/refs/heads/master.tar.gz"

     

       58
       58
       +
         checksum: [

     

       59
       59
       +
           "sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2"

     

       60
       60
       +
           "sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7"

     

       61
       61
       +
         ]

     

       62
       62
       +
       }

     

       63
       63
       +

+50

packages/noCanren/noCanren.0.3.0/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       

     

       3
       3
       +
       synopsis: "Translator from subset of OCaml to OCanren"

     

       4
       4
       +
       maintainer: ["Kakadu@pm.me"]

     

       5
       5
       +
       authors: [

     

       6
       6
       +
         "https://github.com/Lozov-Petr"

     

       7
       7
       +
         "https://github.com/Kakadu"

     

       8
       8
       +
         "https://github.com/dboulytchev"

     

       9
       9
       +
       ]

     

       10
       10
       +
       homepage: "https://github.com/Lozov-Petr/noCanren"

     

       11
       11
       +
       bug-reports: "https://github.com/Lozov-Petr/noCanren/issues"

     

       12
       12
       +
       license: "LGPL-2.1"

     

       13
       13
       +
       

     

       14
       14
       +
       depends: [

     

       15
       15
       +
         "dune" {>= "2.8"}

     

       16
       16
       +
         "ocaml" {>= "4.13" & <= "4.14" }

     

       17
       17
       +
         "GT"

     

       18
       18
       +
         "OCanren" {>= "0.3.0~" }

     

       19
       19
       +
         "OCanren-ppx" {>= "0.3.0~" }

     

       20
       20
       +
         "odoc" {with-doc}

     

       21
       21
       +
         "ocamlformat" {with-test}

     

       22
       22
       +
         "ppxlib"

     

       23
       23
       +
       ]

     

       24
       24
       +
       

     

       25
       25
       +
       build: [

     

       26
       26
       +
         ["dune" "subst"] {dev}

     

       27
       27
       +
         [

     

       28
       28
       +
           "dune"

     

       29
       29
       +
           "build"

     

       30
       30
       +
           "-p"

     

       31
       31
       +
           name

     

       32
       32
       +
           "-j"

     

       33
       33
       +
           jobs

     

       34
       34
       +
           "@install"

     

       35
       35
       +
           "@runtest" {with-test}

     

       36
       36
       +
           "@doc" {with-doc}

     

       37
       37
       +
         ]

     

       38
       38
       +
       ]

     

       39
       39
       +
       

     

       40
       40
       +
       dev-repo: "git+https://github.com/Lozov-Petr/noCanren.git"

     

       41
       41
       +
       

     

       42
       42
       +
       url {

     

       43
       43
       +
         #src: "https://github.com/Kakadu/noCanren/archive/0.3.0-alpha1.tar.gz"

     

       44
       44
       +
         src: "https://github.com/Kakadu/noCanren/archive/refs/heads/master.tar.gz"

     

       45
       45
       +
         #checksum: [

     

       46
       46
       +
         #  "sha256=ca41ad2cef7b45c29f30c6cf3402b133d8dba82f69818a783bfee95173d62797"

     

       47
       47
       +
         #  "sha512=15edcac9705172dca2c852be6a024936c698ef2369dbc0515a003ff91e67d33e2b436af3a87cd77892b3317dc657db75b1c8abf4ff7067c196bb31f25ba8bd71"

     

       48
       48
       +
         #]

     

       49
       49
       +
       }

     

       50
       50
       +