Differential D8338 Diff 30753 swh/lister/hackage/tests/data/https_hackage.haskell.org/packages_search_2
Changeset View
Changeset View
Standalone View
Standalone View
swh/lister/hackage/tests/data/https_hackage.haskell.org/packages_search_2
- This file was added.
{"numberOfResults":150,"pageContents":[{"description":"Tools to query Bioinformatics HTTP services e.g. Entrez, Ensembl.","downloads":8,"lastUpload":"2018-12-13T19:11:11.267301285Z","maintainers":[{"display":"FlorianEggenhofer","uri":"/user/FlorianEggenhofer"}],"name":{"display":"BiobaseHTTPTools","uri":"/package/BiobaseHTTPTools"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"Infernal data structures and tools","downloads":36,"lastUpload":"2017-03-14T13:57:23.042537328Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"BiobaseInfernal","uri":"/package/BiobaseInfernal"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"Multiple Alignment Format","downloads":2,"lastUpload":"2011-07-29T12:30:35Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"BiobaseMAF","uri":"/package/BiobaseMAF"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Newick file format parser.","downloads":4,"lastUpload":"2017-07-07T17:56:54.930748267Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"BiobaseNewick","uri":"/package/BiobaseNewick"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"RNA folding training data","downloads":10,"lastUpload":"2011-09-29T13:24:59Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"BiobaseTrainingData","uri":"/package/BiobaseTrainingData"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"Import Turner RNA parameters","downloads":31,"lastUpload":"2013-04-25T00:42:45Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"BiobaseTurner","uri":"/package/BiobaseTurner"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Collection of types for bioinformatics","downloads":25,"lastUpload":"2021-06-04T12:19:46.84432619Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"BiobaseTypes","uri":"/package/BiobaseTypes"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"data-structures","uri":"/packages/tag/data-structures"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Import Vienna energy parameters","downloads":24,"lastUpload":"2013-04-22T01:29:13Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"BiobaseVienna","uri":"/package/BiobaseVienna"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Efficient RNA/DNA/Protein Primary/Secondary Structure","downloads":73,"lastUpload":"2021-06-04T20:20:23.163421103Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"BiobaseXNA","uri":"/package/BiobaseXNA"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"A preprocessor for Bird-style Literate Haskell comments with Haddock markup.","downloads":4,"lastUpload":"2012-08-02T16:36:38Z","maintainers":[{"display":"SeanMcLaughlin","uri":"/user/SeanMcLaughlin"}],"name":{"display":"BirdPP","uri":"/package/BirdPP"},"tags":[{"display":"development","uri":"/packages/tag/development"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"","downloads":18,"lastUpload":"2018-03-03T19:01:52.086048792Z","maintainers":[{"display":"Ofenhed","uri":"/user/Ofenhed"}],"name":{"display":"BitStringRandomMonad","uri":"/package/BitStringRandomMonad"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"crypto","uri":"/packages/tag/crypto"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"A module to aid in the (de)serialisation of binary data","downloads":10,"lastUpload":"2021-01-17T10:52:15.284789745Z","maintainers":[{"display":"AdamLangley","uri":"/user/AdamLangley"},{"display":"joecrayne","uri":"/user/joecrayne"}],"name":{"display":"BitSyntax","uri":"/package/BitSyntax"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"library","uri":"/packages/tag/library"},{"display":"serialization","uri":"/packages/tag/serialization"}],"votes":0},{"description":"A library to access bit.ly URL shortener.","downloads":18,"lastUpload":"2012-02-02T17:42:46Z","maintainers":[{"display":"SergeyAstanin","uri":"/user/SergeyAstanin"}],"name":{"display":"Bitly","uri":"/package/Bitly"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"deprecated","uri":"/packages/tag/deprecated"},{"display":"library","uri":"/packages/tag/library"},{"display":"web","uri":"/packages/tag/web"}],"votes":0},{"description":"Batteries-included Structured Logging library","downloads":38,"lastUpload":"2022-07-20T15:13:36.539640239Z","maintainers":[{"display":"PatrickBrisbin","uri":"/user/PatrickBrisbin"},{"display":"dukerutledge","uri":"/user/dukerutledge"},{"display":"mjgpy3","uri":"/user/mjgpy3"},{"display":"FreckleEngineering","uri":"/user/FreckleEngineering"}],"name":{"display":"Blammo","uri":"/package/Blammo"},"tags":[{"display":"library","uri":"/packages/tag/library"},{"display":"mit","uri":"/packages/tag/mit"},{"display":"utils","uri":"/packages/tag/utils"}],"votes":0},{"description":"Libary to interface with the NCBI blast REST interface","downloads":25,"lastUpload":"2021-06-05T21:19:54.156671184Z","maintainers":[{"display":"FlorianEggenhofer","uri":"/user/FlorianEggenhofer"}],"name":{"display":"BlastHTTP","uri":"/package/BlastHTTP"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Diagram editor","downloads":6,"lastUpload":"2012-06-19T21:00:19Z","maintainers":[{"display":"AlanZimmerman","uri":"/user/AlanZimmerman"}],"name":{"display":"Blobs","uri":"/package/Blobs"},"tags":[{"display":"graphics","uri":"/packages/tag/graphics"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"A tool for posting Haskelly articles to blogs","downloads":143,"lastUpload":"2022-08-26T02:27:45.073759633Z","maintainers":[{"display":"BrentYorgey","uri":"/user/BrentYorgey"},{"display":"RobertGreayer","uri":"/user/RobertGreayer"}],"name":{"display":"BlogLiterately","uri":"/package/BlogLiterately"},"tags":[{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"},{"display":"web","uri":"/packages/tag/web"}],"votes":0},{"description":"Include images in blog posts with inline diagrams code","downloads":51,"lastUpload":"2022-05-24T16:27:56.206098429Z","maintainers":[{"display":"BrentYorgey","uri":"/user/BrentYorgey"}],"name":{"display":"BlogLiterately-diagrams","uri":"/package/BlogLiterately-diagrams"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"},{"display":"web","uri":"/packages/tag/web"}],"votes":0},{"description":"A markdown-like markup language designed for blog posts","downloads":13,"lastUpload":"2018-02-05T06:23:31.042191764Z","maintainers":[{"display":"alexbecker","uri":"/user/alexbecker"}],"name":{"display":"Blogdown","uri":"/package/Blogdown"},"tags":[{"display":"agpl","uri":"/packages/tag/agpl"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"},{"display":"web","uri":"/packages/tag/web"}],"votes":1.5},{"description":"Html document layout library.","downloads":7,"lastUpload":"2010-08-03T08:19:51Z","maintainers":[{"display":"SergeyMironov","uri":"/user/SergeyMironov"}],"name":{"display":"BluePrintCSS","uri":"/package/BluePrintCSS"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"deprecated","uri":"/packages/tag/deprecated"},{"display":"library","uri":"/packages/tag/library"},{"display":"text","uri":"/packages/tag/text"},{"display":"web","uri":"/packages/tag/web"}],"votes":0},{"description":"Preview of a new build system.","downloads":2,"lastUpload":"2009-11-30T14:22:55Z","maintainers":[{"display":"GregoryCrosswhite","uri":"/user/GregoryCrosswhite"}],"name":{"display":"Blueprint","uri":"/package/Blueprint"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"distribution","uri":"/packages/tag/distribution"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"A simple document organizer with some wiki functionality","downloads":26,"lastUpload":"2016-01-11T12:47:27.621179Z","maintainers":[{"display":"EmilAxelsson","uri":"/user/EmilAxelsson"}],"name":{"display":"Bookshelf","uri":"/package/Bookshelf"},"tags":[{"display":"program","uri":"/packages/tag/program"},{"display":"text","uri":"/packages/tag/text"}],"votes":0},{"description":"Generalized booleans and numbers","downloads":125,"lastUpload":"2017-02-19T22:07:32.056861Z","maintainers":[{"display":"ConalElliott","uri":"/user/ConalElliott"}],"name":{"display":"Boolean","uri":"/package/Boolean"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"data","uri":"/packages/tag/data"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Implementation of bounded channels.","downloads":26,"lastUpload":"2014-05-14T23:30:48.662935Z","maintainers":[{"display":"AdamWick","uri":"/user/AdamWick"}],"name":{"display":"BoundedChan","uri":"/package/BoundedChan"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"concurrency","uri":"/packages/tag/concurrency"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Static text template generation library","downloads":4,"lastUpload":"2010-03-24T01:43:29Z","maintainers":[{"display":"MatthiasReisner","uri":"/user/MatthiasReisner"}],"name":{"display":"Bravo","uri":"/package/Bravo"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"library","uri":"/packages/tag/library"},{"display":"text","uri":"/packages/tag/text"}],"votes":0},{"description":"A socker wrapper that makes the IO of sockets much cleaner","downloads":7,"lastUpload":"2015-08-12T12:31:27.028316Z","maintainers":[{"display":"tmore","uri":"/user/tmore"}],"name":{"display":"BufferedSocket","uri":"/package/BufferedSocket"},"tags":[{"display":"library","uri":"/packages/tag/library"},{"display":"mit","uri":"/packages/tag/mit"},{"display":"network","uri":"/packages/tag/network"}],"votes":0},{"description":"Hits a set of urls periodically to bust caches","downloads":4,"lastUpload":"2013-05-22T06:11:22Z","maintainers":[{"display":"MichaelXavier","uri":"/user/MichaelXavier"}],"name":{"display":"Buster","uri":"/package/Buster"},"tags":[{"display":"mit","uri":"/packages/tag/mit"},{"display":"program","uri":"/packages/tag/program"},{"display":"web","uri":"/packages/tag/web"}],"votes":0},{"description":"C-Structs implementation for Haskell","downloads":7,"lastUpload":"2021-03-30T13:36:33.593597406Z","maintainers":[{"display":"SimonPlakolb","uri":"/user/SimonPlakolb"}],"name":{"display":"C-structs","uri":"/package/C-structs"},"tags":[{"display":"c","uri":"/packages/tag/c"},{"display":"data","uri":"/packages/tag/data"},{"display":"foreign","uri":"/packages/tag/foreign"},{"display":"library","uri":"/packages/tag/library"},{"display":"mit","uri":"/packages/tag/mit"},{"display":"structures","uri":"/packages/tag/structures"}],"votes":2},{"description":"Encode/Decode values to/from CBOR","downloads":10,"lastUpload":"2014-07-24T04:38:49.281736Z","maintainers":[{"display":"KyleMurphy","uri":"/user/KyleMurphy"}],"name":{"display":"CBOR","uri":"/package/CBOR"},"tags":[{"display":"data","uri":"/packages/tag/data"},{"display":"lgpl","uri":"/packages/tag/lgpl"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Delimited continuations and dynamically scoped variables","downloads":16,"lastUpload":"2016-05-11T02:22:41.377133Z","maintainers":[{"display":"DanDoel","uri":"/user/DanDoel"}],"name":{"display":"CC-delcont","uri":"/package/CC-delcont"},"tags":[{"display":"control","uri":"/packages/tag/control"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Three new monad transformers for multi-prompt delimited control","downloads":9,"lastUpload":"2012-10-23T14:23:53Z","maintainers":[{"display":"KidoTakahiro","uri":"/user/KidoTakahiro"}],"name":{"display":"CC-delcont-alt","uri":"/package/CC-delcont-alt"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"control","uri":"/packages/tag/control"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"A monad transformers for multi-prompt delimited control","downloads":6,"lastUpload":"2011-10-12T16:56:51Z","maintainers":[{"display":"KidoTakahiro","uri":"/user/KidoTakahiro"}],"name":{"display":"CC-delcont-cxe","uri":"/package/CC-delcont-cxe"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"control","uri":"/packages/tag/control"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"A monad transformers for multi-prompt delimited control","downloads":5,"lastUpload":"2011-10-12T16:34:48Z","maintainers":[{"display":"KidoTakahiro","uri":"/user/KidoTakahiro"}],"name":{"display":"CC-delcont-exc","uri":"/package/CC-delcont-exc"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"control","uri":"/packages/tag/control"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"A monad transformers for multi-prompt delimited control using refercence cells","downloads":2,"lastUpload":"2011-10-12T16:34:17Z","maintainers":[{"display":"KidoTakahiro","uri":"/user/KidoTakahiro"}],"name":{"display":"CC-delcont-ref","uri":"/package/CC-delcont-ref"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"control","uri":"/packages/tag/control"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"A monad transformers for multi-prompt delimited control using refercence cells","downloads":10,"lastUpload":"2011-10-18T13:32:20Z","maintainers":[{"display":"KidoTakahiro","uri":"/user/KidoTakahiro"}],"name":{"display":"CC-delcont-ref-tf","uri":"/package/CC-delcont-ref-tf"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"control","uri":"/packages/tag/control"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"preprocessor and library for Causal Commutative Arrows (CCA)","downloads":21,"lastUpload":"2015-05-08T03:06:09.667005Z","maintainers":[{"display":"PaulLiu","uri":"/user/PaulLiu"}],"name":{"display":"CCA","uri":"/package/CCA"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"development","uri":"/packages/tag/development"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"A W3C compliant (X)HTML generating library ","downloads":12,"lastUpload":"2011-07-26T02:29:50Z","maintainers":[{"display":"PaulTalaga","uri":"/user/PaulTalaga"}],"name":{"display":"CHXHtml","uri":"/package/CHXHtml"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"library","uri":"/packages/tag/library"},{"display":"web","uri":"/packages/tag/web"}],"votes":0},{"description":"Cursor Library for A Structured Editor","downloads":11,"lastUpload":"2009-02-11T09:56:25Z","maintainers":[{"display":"TristanAllwood","uri":"/user/TristanAllwood"}],"name":{"display":"CLASE","uri":"/package/CLASE"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"data","uri":"/packages/tag/data"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"CLI tools","downloads":6,"lastUpload":"2015-03-10T04:25:07.585209Z","maintainers":[{"display":"g960059","uri":"/user/g960059"}],"name":{"display":"CLI","uri":"/package/CLI"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"data","uri":"/packages/tag/data"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Infernal covariance model comparison","downloads":8,"lastUpload":"2012-11-22T14:57:12Z","maintainers":[{"display":"ChristianHoener","uri":"/user/ChristianHoener"}],"name":{"display":"CMCompare","uri":"/package/CMCompare"},"tags":[{"display":"bioinformatics","uri":"/packages/tag/bioinformatics"},{"display":"gpl","uri":"/packages/tag/gpl"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"cwmwl udp message queue","downloads":2,"lastUpload":"2012-07-02T13:30:46Z","maintainers":[{"display":"JoergFritsch","uri":"/user/JoergFritsch"}],"name":{"display":"CMQ","uri":"/package/CMQ"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"library","uri":"/packages/tag/library"},{"display":"system","uri":"/packages/tag/system"}],"votes":0},{"description":"An algebraic data type similar to Prelude Ordering.","downloads":8,"lastUpload":"2008-07-23T19:06:06Z","maintainers":[{"display":"AdrianHey","uri":"/user/AdrianHey"}],"name":{"display":"COrdering","uri":"/package/COrdering"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"data","uri":"/packages/tag/data"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"A simple Brainfuck interpretter.","downloads":9,"lastUpload":"2008-11-06T21:21:39Z","maintainers":[{"display":"ThomasDavie","uri":"/user/ThomasDavie"}],"name":{"display":"CPBrainfuck","uri":"/package/CPBrainfuck"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"compilers-interpreters","uri":"/packages/tag/compilers-interpreters"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"An interpreter of Hagino's Categorical Programming Language (CPL).","downloads":11,"lastUpload":"2018-02-16T04:01:31.731523911Z","maintainers":[{"display":"MasahiroSakai","uri":"/user/MasahiroSakai"}],"name":{"display":"CPL","uri":"/package/CPL"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"compilers-interpreters","uri":"/packages/tag/compilers-interpreters"},{"display":"program","uri":"/packages/tag/program"}],"votes":0},{"description":"Definition of a CSP core-language. ","downloads":21,"lastUpload":"2017-10-26T16:01:57.597214822Z","maintainers":[{"display":"MarcFontaine","uri":"/user/MarcFontaine"}],"name":{"display":"CSPM-CoreLanguage","uri":"/package/CSPM-CoreLanguage"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"concurrency","uri":"/packages/tag/concurrency"},{"display":"formal-methods","uri":"/packages/tag/formal-methods"},{"display":"language","uri":"/packages/tag/language"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"Firing rules semantic of CSPM","downloads":23,"lastUpload":"2017-10-26T16:04:59.008462452Z","maintainers":[{"display":"MarcFontaine","uri":"/user/MarcFontaine"}],"name":{"display":"CSPM-FiringRules","uri":"/package/CSPM-FiringRules"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"concurrency","uri":"/packages/tag/concurrency"},{"display":"formal-methods","uri":"/packages/tag/formal-methods"},{"display":"language","uri":"/packages/tag/language"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"A CSP-M parser compatible with FDR-2.91","downloads":27,"lastUpload":"2017-10-26T16:00:53.247544871Z","maintainers":[{"display":"MarcFontaine","uri":"/user/MarcFontaine"}],"name":{"display":"CSPM-Frontend","uri":"/package/CSPM-Frontend"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"concurrency","uri":"/packages/tag/concurrency"},{"display":"formal-methods","uri":"/packages/tag/formal-methods"},{"display":"language","uri":"/packages/tag/language"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"An interpreter for CSPM","downloads":31,"lastUpload":"2017-10-26T16:06:04.796021721Z","maintainers":[{"display":"MarcFontaine","uri":"/user/MarcFontaine"}],"name":{"display":"CSPM-Interpreter","uri":"/package/CSPM-Interpreter"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"concurrency","uri":"/packages/tag/concurrency"},{"display":"formal-methods","uri":"/packages/tag/formal-methods"},{"display":"language","uri":"/packages/tag/language"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"some modules specific for the ProB tool","downloads":11,"lastUpload":"2017-10-26T16:07:34.663251395Z","maintainers":[{"display":"MarcFontaine","uri":"/user/MarcFontaine"}],"name":{"display":"CSPM-ToProlog","uri":"/package/CSPM-ToProlog"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"formal-methods","uri":"/packages/tag/formal-methods"},{"display":"library","uri":"/packages/tag/library"}],"votes":0},{"description":"cspm command line tool for analyzing CSPM specifications.","downloads":26,"lastUpload":"2017-10-26T16:08:56.855821544Z","maintainers":[{"display":"MarcFontaine","uri":"/user/MarcFontaine"}],"name":{"display":"CSPM-cspm","uri":"/package/CSPM-cspm"},"tags":[{"display":"bsd3","uri":"/packages/tag/bsd3"},{"display":"concurrency","uri":"/packages/tag/concurrency"},{"display":"formal-methods","uri":"/packages/tag/formal-methods"},{"display":"language","uri":"/packages/tag/language"},{"display":"library","uri":"/packages/tag/library"},{"display":"program","uri":"/packages/tag/program"}],"votes":0}]} |