Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ssrg-vt / FoxDec
Formally verified x86-64 decompilation
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ssrg-vt%2FFoxDec
Stars: 9
Forks: 1
Open Issues: 4
License: apache-2.0
Language: HTML
Repo Size: 123 MB
Dependencies:
134
Created: almost 4 years ago
Updated: 6 months ago
Last pushed: 5 months ago
Last synced: 5 months ago
Files
Loading...
Readme
Loading...
Dependencies
Gemfile
rubygems
- github-pages >= 0 development
foxdec/scripts/Dockerfile
docker
- ubuntu 20.04 build
foxdec/foxdec.cabal
hackage
- aeson >=1.5.6.0
- base >=4.7 && <5
- blaze-builder >=0.4.2.2
- bytestring >=0.10.12
- cereal >=0.5.8.1
- containers *
- deepseq >=1.4.4.0
- dhall >=1.39
- directory *
- dom-lt >=0.2.3
- elf >=0.31
- extra >=1.7.9
- foxdec *
- hapstone ==0.2.0.1
- hourglass >=0.2.12
- mtl *
- nonempty-containers >=0.3.4
- parsec >=3.1
- parsec-numbers >=0.1
- process >=1.6.9.0
- split >=0.2.3
- strict *
- text >=1.2.4
- transformers >=0.5.6
- aeson >=1.5.6.0 test
- base >=4.7 && <5 test
- blaze-builder >=0.4.2.2 test
- bytestring >=0.10.12 test
- cereal >=0.5.8.1 test
- containers * test
- deepseq >=1.4.4.0 test
- dhall >=1.39 test
- directory * test
- dom-lt >=0.2.3 test
- elf >=0.31 test
- extra >=1.7.9 test
- foxdec * test
- hapstone ==0.2.0.1 test
- hourglass >=0.2.12 test
- mtl * test
- nonempty-containers >=0.3.4 test
- parsec >=3.1 test
- parsec-numbers >=0.1 test
- process >=1.6.9.0 test
- split >=0.2.3 test
- strict * test
- text >=1.2.4 test
- transformers >=0.5.6 test
Gemfile.lock
rubygems
- activesupport 6.0.3.2
- addressable 2.7.0
- coffee-script 2.4.1
- coffee-script-source 1.11.1
- colorator 1.1.0
- commonmarker 0.17.13
- concurrent-ruby 1.1.6
- dnsruby 1.61.3
- em-websocket 0.5.1
- ethon 0.12.0
- eventmachine 1.2.7
- execjs 2.7.0
- faraday 1.0.1
- ffi 1.13.1
- forwardable-extended 2.6.0
- gemoji 3.0.1
- github-pages 206
- github-pages-health-check 1.16.1
- html-pipeline 2.13.0
- http_parser.rb 0.6.0
- i18n 0.9.5
- jekyll 3.8.7
- jekyll-avatar 0.7.0
- jekyll-coffeescript 1.1.1
- jekyll-commonmark 1.3.1
- jekyll-commonmark-ghpages 0.1.6
- jekyll-default-layout 0.1.4
- jekyll-feed 0.13.0
- jekyll-gist 1.5.0
- jekyll-github-metadata 2.13.0
- jekyll-mentions 1.5.1
- jekyll-optional-front-matter 0.3.2
- jekyll-paginate 1.1.0
- jekyll-readme-index 0.3.0
- jekyll-redirect-from 0.15.0
- jekyll-relative-links 0.6.1
- jekyll-remote-theme 0.4.1
- jekyll-sass-converter 1.5.2
- jekyll-seo-tag 2.6.1
- jekyll-sitemap 1.4.0
- jekyll-swiss 1.0.0
- jekyll-theme-architect 0.1.1
- jekyll-theme-cayman 0.1.1
- jekyll-theme-dinky 0.1.1
- jekyll-theme-hacker 0.1.1
- jekyll-theme-leap-day 0.1.1
- jekyll-theme-merlot 0.1.1
- jekyll-theme-midnight 0.1.1
- jekyll-theme-minimal 0.1.1
- jekyll-theme-modernist 0.1.1
- jekyll-theme-primer 0.5.4
- jekyll-theme-slate 0.1.1
- jekyll-theme-tactile 0.1.1
- jekyll-theme-time-machine 0.1.1
- jekyll-titles-from-headings 0.5.3
- jekyll-watch 2.2.1
- jemoji 0.11.1
- kramdown 1.17.0
- liquid 4.0.3
- listen 3.2.1
- mercenary 0.3.6
- mini_portile2 2.4.0
- minima 2.5.1
- minitest 5.14.1
- multipart-post 2.1.1
- nokogiri 1.10.10
- octokit 4.18.0
- pathutil 0.16.2
- public_suffix 3.1.1
- rb-fsevent 0.10.4
- rb-inotify 0.10.1
- rouge 3.19.0
- ruby-enum 0.8.0
- rubyzip 2.3.0
- safe_yaml 1.0.5
- sass 3.7.4
- sass-listen 4.0.0
- sawyer 0.8.2
- terminal-table 1.8.0
- thread_safe 0.3.6
- typhoeus 1.4.0
- tzinfo 1.2.7
- unicode-display_width 1.7.0
- zeitwerk 2.4.0