Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / GaloisInc / sk-dev-platform
Development platform for prototyping separation kernel applications
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fsk-dev-platform
Stars: 2
Forks: 0
Open Issues: 0
License: other
Language: C
Repo Size: 9.88 MB
Dependencies:
114
Created: over 9 years ago
Updated: about 1 year ago
Last pushed: over 9 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
libs/SCD/scd.cabal
hackage
- HUnit >=1.2.2.1
- QuickCheck >=2.2 && <2.4
- array >=0.1.0.0
- base >=4.0 && <5.0
- base >=4
- bytestring >=0.9.0.1
- containers >=0.1.0.0
- directory >=1.1
- fgl >=5
- filepath >=1.1.0.0 && <=1.2.0.0
- filepath >=1.1
- lobster >=0.1
- mtl >=1
- mtl >=1.0.1
- pretty >=1.1
- process >=1.1
- random >=1
- random >=1.0.0.0
- regex-compat >=0.71.0.1
- regex-posix >=0.71
- scd >=0.1
- syb >=0.1.0.0
- test-framework *
- test-framework-hunit *
- test-framework-quickcheck2 ==0.2.8
- xml >=1.3.2
- base >=2.1.1
- pretty >=1.0.1.0
- regex-posix >=0.72.0.3
- scd *
- xml >=1.3.4
- base >=2.1.1
- containers >=0.2.0.1
- scd *
libs/genLobster/genLobster.cabal
hackage
libs/lobster/lobster.cabal
hackage
- HUnit >=1.2.2.1
- array >=0.1.0.0
- base >=4.0 && <5.0
- containers >=0.1.0.0
- deepseq ==1.1.*
- directory >=1.1
- fgl >=5.4.1
- filepath ==1.2.*
- lobster *
- mtl >=1.0.1
- process >=1.1
- test-framework *
- test-framework-hunit *
- array >=0.1.0.0
- base >=4
- containers >=0.1.0.0
- directory >=1.1
- fgl >=5
- filepath >=1.1
- lobster >=0.1
- mtl >=2.0
- pretty >=1.1
- process >=1.1
- regex-compat >=0.71.0.1
- regex-posix >=0.71
- scd >=0.1
- base >=4
- containers >=0.1.0.0
- lobster >=0.1
- lobster-selinux >=0.1
- pretty >=1
- scd >=0.1
libs/lviz/lviz.cabal
hackage
libs/shrimp/shrimp.cabal
hackage
- base ==4.6.*
- containers ==0.5.*
- hs-selinux-policy *
- lens ==3.9.*
- profunctor-extras ==3.3.*
user/sklite/sklite.cabal
hackage