Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / gfngfn / BIRDS
Bidirectional transformation for Relational view update Datalog-based Strategies
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gfngfn%2FBIRDS
Fork of proof-ninja/BIRDS
Stars: 0
Forks: 0
Open Issues: 1
License: lgpl-2.1
Language: OCaml
Repo Size: 5.04 MB
Dependencies:
2,341
Created: over 2 years ago
Updated: over 2 years ago
Last pushed: about 1 year ago
Last synced: 9 months ago
Files
Loading...
Readme
Loading...
Dependencies
webpage/jekyll-theme-slate.gemspec
rubygems
- html-proofer ~> 3.0 development
- rubocop ~> 0.50 development
- w3c_validators ~> 1.3 development
- jekyll > 3.5, < 5.0
- jekyll-seo-tag ~> 2.0
docker/alpine/Dockerfile
docker
- store/saplabs/hanaexpress 2.00.022.00.20171211.1
- mariadb 10.3
- postgres 9.6-alpine
- microsoft/mssql-server-linux 2017-latest
- eslint-config-prettier ^4.1.0 development
- eslint-plugin-prettier ^3.0.1 development
- source-map-explorer ^1.8.0 development
- antd ^3.16.5
- brace ^0.11.1
- d3 ^5.9.2
- keymaster ^1.6.2
- lodash ^4.17.11
- prop-types ^15.7.2
- react ^16.8.6
- react-ace ^6.5.0
- react-copy-to-clipboard ^5.0.0
- react-dom ^16.8.6
- react-draggable ^3.3.0
- react-measure ^2.3.0
- react-router-dom ^5.0.0
- react-scripts 3.0.0
- react-split-pane ^0.1.87
- react-window ^1.8.1
- sql-formatter ^2.3.2
- tachyons ^4.11.1
- taucharts ^2.7.2
- unistore ^3.4.1
- whatwg-fetch ^3.0.0
- husky ^1.3.1 development
- lint-staged ^8.1.5 development
- prettier ^1.16.4 development
- eslint ^5.3.0 development
- eslint-config-airbnb-base ^13.1.0 development
- eslint-config-prettier ^4.1.0 development
- eslint-plugin-import ^2.16.0 development
- eslint-plugin-prettier ^3.0.1 development
- mocha ^5.2.0 development
- node-dev ^3.1.3 development
- supertest ^3.4.2 development
- bcrypt-nodejs 0.0.3
- body-parser ^1.18.3
- cassandra-driver ^3.6.0
- detect-port ^1.3.0
- errorhandler ^1.4.0
- express ^4.16.4
- express-session ^1.15.6
- hdb ^0.15.4
- helmet ^3.16.0
- joi ^12.0.0
- json2csv ^3.11.5
- latest-version ^3.1.0
- lodash ^4.17.13
- minimist ^1.2.2
- mkdirp ^0.5.1
- moment ^2.24.0
- morgan ^1.9.1
- mssql ^4.3.5
- mysql ^2.16.0
- nedb ^1.8.0
- nedb-promise ^2.0.1
- node-crate ^2.0.6
- node-fetch ^2.3.0
- node-xlsx ^0.11.2
- nodemailer ^4.7.0
- odbc ^1.4.1
- passport ^0.4.0
- passport-google-oauth20 ^2.0.0
- passport-http ^0.3.0
- passport-local ^1.0.0
- pg ^7.8.2
- pg-cursor ^1.0.1
- request ^2.88.0
- rimraf ^2.6.3
- sanitize-filename ^1.6.1
- semver-diff ^2.1.0
- serve-favicon ^2.5.0
- session-file-store ^1.2.0
- socksjs ^0.5.0
- uuid ^3.3.2
- vertica ^0.5.5
Dockerfile
docker
- ubuntu 16.04 build
webpage/Gemfile.lock
rubygems
- activesupport 5.2.1
- addressable 2.7.0
- ast 2.4.0
- colorator 1.1.0
- colorize 0.8.1
- concurrent-ruby 1.1.6
- em-websocket 0.5.1
- ethon 0.11.0
- eventmachine 1.2.7
- ffi 1.12.2
- forwardable-extended 2.6.0
- html-proofer 3.9.2
- http_parser.rb 0.6.0
- i18n 1.8.2
- jaro_winkler 1.5.1
- jekyll 4.0.0
- jekyll-sass-converter 2.1.0
- jekyll-seo-tag 2.6.1
- jekyll-theme-slate 0.1.1
- jekyll-watch 2.2.1
- json 2.1.0
- kramdown 2.1.0
- kramdown-parser-gfm 1.1.0
- liquid 4.0.3
- listen 3.2.1
- mercenary 0.3.6
- mini_portile2 2.3.0
- minitest 5.11.3
- nokogiri 1.8.4
- parallel 1.12.1
- parser 2.5.1.2
- pathutil 0.16.2
- powerpack 0.1.2
- public_suffix 4.0.3
- rainbow 3.0.0
- rb-fsevent 0.10.3
- rb-inotify 0.10.1
- rouge 3.16.0
- rubocop 0.58.2
- ruby-progressbar 1.10.0
- safe_yaml 1.0.5
- sassc 2.2.1
- terminal-table 1.8.0
- thread_safe 0.3.6
- typhoeus 1.3.0
- tzinfo 1.2.5
- unicode-display_width 1.4.0
- w3c_validators 1.3.4
- yell 2.0.7